Description

• Title:
  Two weak Lambek style calculi: DNL and DNL−∗
• Creator:
  Zielonka, Wojciech
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2012.03.15
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  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
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2012.004/742
• Subject:
  Lambek calculus;
  Gentzen formalism;
  axiomatization
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2012.004
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text