Pages that link to "Item:Q5283424"
From MaRDI portal
The following pages link to On Lambek’s Restriction in the Presence of Exponential Modalities (Q5283424):
Displaying 4 items.
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Undecidability of the Lambek Calculus with a Relevant Modality (Q2835058) (← links)
- Full Lambek Calculus in natural deduction (Q3406453) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
