Relational semantics of the Lambek calculus extended with classical propositional logic
From MaRDI portal
Publication:456962
DOI10.1007/S11225-013-9474-7zbMATH Open1322.03018OpenAlexW2150146971MaRDI QIDQ456962FDOQ456962
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
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
Classical propositional logic (03B05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Cites Work
- Modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Mathematics of Sentence Structure
- The Lambek calculus enriched with additional connectives
- Interpolation and FEP for logics of residuated algebras
- Full Lambek Calculus in natural deduction
- Relational semantics for the Lambek-Grishin calculus
- Nonassociative Lambek Calculus with Additives and Context-Free Languages
- 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
- Categorial grammars with negative information
- Models for the Lambek calculus
- Compatibility of a Categorial Grammar With an Associated Category System
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
- Multi-sorted residuation
- Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules
- 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
- Automatic concepts and automata-theoretic semantics for the full Lambek calculus
- The Lambek calculus extended with intuitionistic propositional logic
- Lambek calculus with conjugates
- 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)
