Pages that link to "Item:Q1314290"
From MaRDI portal
The following pages link to The Lambek calculus enriched with additional connectives (Q1314290):
Displayed 7 items.
- Displacement logic for anaphora (Q386040) (← links)
- Meeting strength in substructural logics (Q1344870) (← links)
- Connectification for \(n\)-contraction (Q1891929) (← links)
- Type logics and pregroups (Q2467212) (← links)
- Should pregroup grammars be adorned with additional operations? (Q2467222) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)
- A Note on Multidimensional Dyck Languages (Q5414970) (← links)