- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
Studia Logica 102 (3):479-497 (2014)
Abstract
We show that the relational semantics of the Lambek calculus, both nonassociative and associative, is also sound and complete for its extension with classical propositional logic. Then, using filtrations, we obtain the finite model property for the nonassociative Lambek calculus extended with classical propositional logicAuthor's Profile
Other Versions
No versions found
My notes
Similar books and articles
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
Extending the Lambek Calculus with Classical Negation.Michael Kaminski - 2021 - Studia Logica 110 (2):295-317.
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.Sharon Shoham & Nissim Francez - 2008 - Studia Logica 90 (2):161-188.
A Labelled Deductive System for Relational Semantics of the Lambek Calculus.Miroslawa Kolowska-Gawiejnowicz - 1999 - Mathematical Logic Quarterly 45 (1):51-58.
Lambek Calculus and its relational semantics: Completeness and incompleteness.H. Andréka & Sz Mikulás - 1994 - Journal of Logic, Language and Information 3 (1):1-37.
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity.Wojciech Buszkowski - 2017 - Bulletin of the Section of Logic 46 (1/2).
Normal form of derivations in the nonassociative and commutative lambek calculus with product.Maciej Kandulski - 1993 - Mathematical Logic Quarterly 39 (1):103-114.
Classical non-associative Lambek calculus.Philippe de Groote & François Lamarche - 2002 - Studia Logica 71 (3):355-388.
On the Complexity of Nonassociative Lambek Calculus with Unit.Maria Bulińska - 2009 - Studia Logica 93 (1):1-14.
Analytics
Added to PP
2013-04-18
Downloads
113 (#425,607)
6 months
32 (#285,136)
2013-04-18
Downloads
113 (#425,607)
6 months
32 (#285,136)
Historical graph of downloads
Author's Profile
Citations of this work
Modal Information Logics: Axiomatizations and Decidability.Søren Brinck Knudstorp - 2023 - Journal of Philosophical Logic 52 (6):1723-1766.
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
On undecidability of the propositional logic of an associative binary modality.Michael Kaminski - 2024 - Archive for Mathematical Logic 63 (7):837-857.
Extending the Lambek Calculus with Classical Negation.Michael Kaminski - 2021 - Studia Logica 110 (2):295-317.
References found in this work
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation