Opis

• Tytuł:
  Two weak Lambek style calculi: DNL and DNL−∗
• Twórca:
  Zielonka, Wojciech
• Opis:
  The calculus DNL results from the non-associative Lambek calculus NL by splitting the product functor into the right (⊲) and left (⊳) product interacting respectively with the right (/) and left (\) residuation. Unlike NL, sequent antecedents in the Gentzen-style axiomatics of DNL are not phrase structures (i.e., bracketed strings) but functor-argument structures. DNL− is a weaker variant of DNL  restricted to fa-structures of order ≤ 1. When axiomatized by means of introduction/elimination rules for / and \, it shows a perfect analogy to NL which DNL lacks.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2012.03.15
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 21 No. 1 (2012): March; 53-64;
  Logic and Logical Philosophy; Tom 21 Nr 1 (2012): March; 53-64;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2012.004/742
• Temat i słowa kluczowe:
  Lambek calculus;
  Gentzen formalism;
  axiomatization
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2012.004
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty