Nonassociative Lambek Calculus with Additives and Context-Free Languages

DOI10.1007/978-3-642-01748-3_4zbMath1239.03016OpenAlexW1568029361MaRDI QIDQ3630172

Wojciech Buszkowski, Maciej Farulewski

Publication date: 3 June 2009

Published in: Languages: From Formal to Natural (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-01748-3_4

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic of natural languages (03B65) Linguistics (91F20) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (17)

A geometrical representation of the basic laws of categorial grammar ⋮ The Lambek calculus extended with intuitionistic propositional logic ⋮ Modal information logics: axiomatizations and decidability ⋮ On Classical Nonassociative Lambek Calculus ⋮ Categorial Grammars and Their Logics ⋮ Relational semantics of the Lambek calculus extended with classical propositional logic ⋮ On Residuation ⋮ Multi-Sorted Residuation ⋮ Algebraic proof theory for LE-logics ⋮ Decidability of topological quasi-Boolean algebras ⋮ The finite embeddability property for residuated groupoids. ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ Lambek calculus with conjugates ⋮ Distributive full Lambek calculus has the finite model property ⋮ Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids ⋮ Unnamed Item ⋮ Non-associative, non-commutative multi-modal linear logic

This page was built for publication: Nonassociative Lambek Calculus with Additives and Context-Free Languages