- 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
A rule-extension of the non-associative Lambek calculus
Studia Logica 71 (3):443-451 (2002)
Abstract
An extension L + of the non-associative Lambek calculus Lis defined. In L + the restriction to formula-conclusion sequents is given up, and additional left introduction rules for the directional implications are introduced. The system L + is sound and complete with respect to a modification of the ternary frame semantics for L.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.Maria Bulińska - 2005 - Studia Logica 81 (1):43-59.
Classical non-associative Lambek calculus.Philippe de Groote & François Lamarche - 2002 - Studia Logica 71 (3):355-388.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
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.
Extending the Lambek Calculus with Classical Negation.Michael Kaminski - 2021 - Studia Logica 110 (2):295-317.
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
The G4i Analogue of a G3i Sequent Calculus.Rosalie Iemhoff - 2022 - Studia Logica 110 (6):1493-1506.
Cut-Rule Axiomatization of the Syntactic Calculus L0.Wojciech Zielonka - 2001 - Journal of Logic, Language and Information 10 (2):233-236.
Analytics
Added to PP
2009-01-28
Downloads
33 (#682,921)
6 months
5 (#1,035,700)
2009-01-28
Downloads
33 (#682,921)
6 months
5 (#1,035,700)
Historical graph of downloads
Author's Profile
References found in this work
Categorial Type Logics.Michael Moortgat - 1997 - In J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen (eds.), Handbook of Logic and Language. Elsevier.
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic.Cecylia Rauszer - 1980 - Warszawa: [available from Ars Polona].
Mathematical linguistics and proof theory.Wojciech Buszkowski - 1997 - In J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen (eds.), Handbook of Logic and Language. Elsevier. pp. 683--736.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-667477cd97-lxkd2 dc2