The Lambek calculus extended with intuitionistic propositional logic

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

zbMATH Keywords

sequent calculusdecidabilityLambek calculusKripke semanticsintuitionistic propositional logicternary semantics

Mathematics Subject Classification ID

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

Categorial Grammars and Their Logics, DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS, Extensions of Lambek Calculi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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