Pages that link to "Item:Q1630945"
From MaRDI portal
The following pages link to On the recognizing power of the Lambek calculus with brackets (Q1630945):
Displaying 5 items.
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Recognition of derivability for the Lambek calculus with one division (Q2513061) (← links)
- A polynomial-time algorithm for the Lambek calculus with brackets of bounded order (Q5111318) (← links)
- Bracket induction for Lambek calculus with bracket modalities (Q6155205) (← links)