Relational semantics of the Lambek calculus extended with classical propositional logic

DOI10.1007/s11225-013-9474-7zbMath1322.03018OpenAlexW2150146971MaRDI QIDQ456962

Nissim Francez, Michael Kaminski

Publication date: 26 September 2014

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-013-9474-7

zbMATH Keywords

Lambek calculusrelational semantics, classical propositional logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

The Lambek calculus extended with intuitionistic propositional logic, Modal information logics: axiomatizations and decidability, Categorial Grammars and Their Logics, Multi-Sorted Residuation, Lambek calculus with conjugates, On the Complexity of the Equational Theory of Residuated Boolean Algebras, Extensions of Lambek Calculi, Extending the Lambek calculus with classical negation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Lambek calculus enriched with additional connectives
• Models for the Lambek calculus
• Interpolation and FEP for logics of residuated algebras
• The Mathematics of Sentence Structure
• Full Lambek Calculus in natural deduction
• Relational Semantics for the Lambek-Grishin Calculus
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• Compatibility of a Categorial Grammar With an Associated Category System
• Some Decision Problems in the Theory of Syntactic Categories
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• A Note on Negation in Categorial Grammar