Return to Article Details Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity Download Download PDF