The following pages link to (Q5111318):
Displayed 4 items.
- On the recognizing power of the Lambek calculus with brackets (Q1630945) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Bracket induction for Lambek calculus with bracket modalities (Q6155205) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)