Pages that link to "Item:Q1314290"

The following pages link to The Lambek calculus enriched with additional connectives (Q1314290):

Displaying 24 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)
• The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
• Lambek calculus with conjugates (Q2046872) (← links)
• Infinitary action logic with exponentiation (Q2067638) (← links)
• Hypergraph Lambek grammars (Q2079680) (← links)
• Kleene star, subexponentials without contraction, and infinite computations (Q2234420) (← links)
• Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
• Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
• Type logics and pregroups (Q2467212) (← links)
• Should pregroup grammars be adorned with additional operations? (Q2467222) (← links)
• Language models for some extensions of the Lambek calculus (Q2672665) (← 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)
• Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
• Subexponentials in non-commutative linear logic (Q5236554) (← links)
• Multi-Sorted Residuation (Q5414962) (← links)
• A Note on Multidimensional Dyck Languages (Q5414970) (← links)
• Commutative Lambek grammars (Q6190089) (← links)