The Lambek calculus enriched with additional connectives
From MaRDI portal
Publication:1314290
DOI10.1007/BF00171695zbMath0793.03028MaRDI QIDQ1314290
Publication date: 21 August 1994
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Related Items (26)
Meeting strength in substructural logics ⋮ Connectification for \(n\)-contraction ⋮ The Lambek calculus extended with intuitionistic propositional logic ⋮ Language-theoretic and finite relation models for the (full) Lambek calculus ⋮ Displacement logic for anaphora ⋮ Language models for some extensions of the Lambek calculus ⋮ Parsing/theorem-proving for logical grammar \textit{CatLog3} ⋮ Bracket induction for Lambek calculus with bracket modalities ⋮ Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus ⋮ Commutative Lambek grammars ⋮ Categorial Grammars and Their Logics ⋮ Relational semantics of the Lambek calculus extended with classical propositional logic ⋮ Unnamed Item ⋮ Kleene star, subexponentials without contraction, and infinite computations ⋮ Type logics and pregroups ⋮ Should pregroup grammars be adorned with additional operations? ⋮ On translating Lambek grammars with one division into context-free grammars ⋮ Multi-Sorted Residuation ⋮ A Note on Multidimensional Dyck Languages ⋮ The multiplicative-additive Lambek calculus with subexponential and bracket modalities ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ Lambek calculus with conjugates ⋮ Infinitary action logic with exponentiation ⋮ On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results ⋮ Subexponentials in non-commutative linear logic ⋮ Hypergraph Lambek grammars
This page was built for publication: The Lambek calculus enriched with additional connectives
