Now showing items 1-1 of 1
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)
In  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 , is called Classical ...