Browsing Bulletin of the Section of Logic by Subject "nonassociative Lambek calculus"

Now showing items 1-1 of 1

    • Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity 

      Buszkowski, Wojciech (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      In [5] we study Nonassociative Lambek Calculus (NL) augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical ...