Pages that link to "Item:Q1630945"

The following pages link to On the recognizing power of the Lambek calculus with brackets (Q1630945):

Displaying 2 items.

• The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
• Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)