Complexity of Nonassociative Lambek Calculus with classical logic

Paweł Płaczek

The Nonassociative Lambek Calculus (NL) represents a logic devoid of the structural rules of exchange, weakening, and contraction, and it does not presume the associativity of its…