Pages that link to "Item:Q1314290"
From MaRDI portal
The following pages link to The Lambek calculus enriched with additional connectives (Q1314290):
Displayed 14 items.
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Displacement logic for anaphora (Q386040) (← links)
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
- On translating Lambek grammars with one division into context-free grammars (Q511445) (← links)
- Meeting strength in substructural logics (Q1344870) (← links)
- Connectification for \(n\)-contraction (Q1891929) (← links)
- Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
- Type logics and pregroups (Q2467212) (← links)
- Should pregroup grammars be adorned with additional operations? (Q2467222) (← links)
- On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results (Q2835051) (← links)
- Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus (Q2964014) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)
- A Note on Multidimensional Dyck Languages (Q5414970) (← links)