The Lambek calculus extended with intuitionistic propositional logic
Publication:332086
DOI10.1007/S11225-016-9665-0zbMath1417.03165OpenAlexW2297035263MaRDI QIDQ332086
Michael Kaminski, Nissim Francez
Publication date: 27 October 2016
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-016-9665-0
sequent calculusdecidabilityLambek calculusKripke semanticsintuitionistic propositional logicternary semantics
Classical propositional logic (03B05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (4)
Cites Work
- Relational semantics of the Lambek calculus extended with classical propositional logic
- Distributive full Lambek calculus has the finite model property
- Cut-elimination theorem for relevant logics
- The Lambek calculus enriched with additional connectives
- Subintuitionistic logics
- Untersuchungen über das logische Schliessen. I
- Untersuchungen über das logische Schliessen. II
- The semantics and proof theory of the logic of bunched implications
- 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
- Some Decision Problems in the Theory of Syntactic Categories
- The Logic of Bunched Implications
- A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
- A Note on Negation in Categorial Grammar
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The Lambek calculus extended with intuitionistic propositional logic
