The Lambek calculus extended with intuitionistic propositional logic

DOI10.1007/S11225-016-9665-0MaRDI QIDQ332086zbMATH OpenOpenAlexFDO

Authors 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

decidabilityKripke semanticssequent calculusintuitionistic propositional logicLambek calculusternary 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)

Cites work

• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (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
• Cut-elimination theorem for relevant logics
• Distributive full Lambek calculus has the finite model property
• Full Lambek Calculus in natural deduction
• Interpolation and FEP for logics of residuated algebras
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• Relational semantics for the Lambek-Grishin calculus
• Relational semantics of the Lambek calculus extended with classical propositional logic
• Some Decision Problems in the Theory of Syntactic Categories
• Subintuitionistic logics
• The Lambek calculus enriched with additional connectives
• The Logic of Bunched Implications
• The Mathematics of Sentence Structure
• The semantics and proof theory of the logic of bunched implications
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schliessen. II

Cited in

(10)

• Lambek Calculus in Natural Deduction
• A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice
• scientific article; zbMATH DE number 5524514 (Why is no real title available?)
• Intuitionistic Letcc via Labelled Deduction
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
• On undecidability of the propositional logic of an associative binary modality
• Full Lambek Calculus in natural deduction
• Categorial grammars and their logics
• De Morgan interpretation of the Lambek-Grishin calculus
• Extensions of Lambek calculi

This page was built for publication: The Lambek calculus extended with intuitionistic propositional logic

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