Search
Now showing items 1-2 of 2
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
(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 ...
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)
Hypersequent calculi (HC) can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial ...