The Lambek calculus extended with intuitionistic propositional logic

DOI10.1007/S11225-016-9665-0zbMATH Open1417.03165OpenAlexW2297035263MaRDI QIDQ332086FDOQ332086

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

• Untersuchungen über das logische Schliessen. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Untersuchungen über das logische Schliessen. II
• The semantics and proof theory of the logic of bunched implications
• Title not available (Why is that?)
• The Logic of Bunched Implications
• Title not available (Why is that?)
• The Mathematics of Sentence Structure
• Distributive full Lambek calculus has the finite model property
• Cut-elimination theorem for relevant logics
• The Lambek calculus enriched with additional connectives
• Subintuitionistic logics
• 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
• Relational semantics of the Lambek calculus extended with classical propositional logic
• A Note on Negation in Categorial Grammar

Cited In (10)

• Intuitionistic Letcc via Labelled Deduction
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
• Extensions of Lambek Calculi
• Full Lambek Calculus in natural deduction
• Title not available (Why is that?)
• On undecidability of the propositional logic of an associative binary modality
• DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS
• A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice
• Categorial Grammars and Their Logics
• Lambek Calculus in Natural Deduction

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)