Relational semantics of the Lambek calculus extended with classical propositional logic

DOI10.1007/S11225-013-9474-7MaRDI QIDQ456962zbMATH OpenOpenAlexFDO

Authors Michael Kaminski, Nissim Francez

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)

Recommendations

• Lambek calculus and its relational semantics: Completeness and incompleteness
• scientific article; zbMATH DE number 475195
• Relational semantics and a relational proof system for full Lambek calculus
• A rule-extension of the non-associative Lambek calculus
• On the completeness of the Lambek calculus with respect to relativized relational semantics

Cites work

• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• A Note on Negation in Categorial Grammar
• Categorial grammars with negative information
• Compatibility of a Categorial Grammar With an Associated Category System
• Full Lambek Calculus in natural deduction
• Interpolation and FEP for logics of residuated algebras
• Modal logic
• Models for the Lambek calculus
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• Relational semantics for the Lambek-Grishin calculus
• Some Decision Problems in the Theory of Syntactic Categories
• The Lambek calculus enriched with additional connectives
• The Mathematics of Sentence Structure

Cited in

(18)

• Classical conservative extensions of Lambek calculus
• On the complexity of the equational theory of residuated Boolean algebras
• Modal information logics: axiomatizations and decidability
• Extending the Lambek calculus with classical negation
• Categorial grammars and their logics
• Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules
• Multi-sorted residuation
• Relational models for the Lambek calculus with intersection and unit
• On undecidability of the propositional logic of an associative binary modality
• On associative Lambek calculus extended with basic proper axioms
• Extensions of Lambek calculi
• The Lambek calculus extended with intuitionistic propositional logic
• Lambek calculus with conjugates
• Automatic concepts and automata-theoretic semantics for the full Lambek calculus
• A rule-extension of the non-associative Lambek calculus
• Correspondence results for relational proof systems with application to the Lambek calculus
• Generalized Kripke semantics for the Lambek-Grishin calculus
• Semantics of a relational \(\lambda\)-calculus

This page was built for publication: Relational semantics of the Lambek calculus extended with classical propositional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456962)