Pages that link to "Item:Q4608556"
From MaRDI portal
The following pages link to Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity (Q4608556):
Displaying 7 items.
- On the complexity of nonassociative Lambek calculus with unit (Q1035836) (← links)
- Classical non-associative Lambek calculus (Q1850952) (← links)
- On involutive nonassociative Lambek calculus (Q2425321) (← links)
- Cyclic Involutive Distributive Full Lambek Calculus is Decidable (Q3006115) (← links)
- One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity (Q4999464) (← links)
- Craig’s trick and a non-sequential system for the Lambek calculus and its fragments (Q5382579) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)