- 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
De Morgan Interpretation of the Lambek–Grishin Calculus
Review of Symbolic Logic 13 (4):845-856 (2020)
Abstract
We present an embedding of the Lambek–Grishin calculus into an extension of the nonassociative Lambek calculus with negation. The embedding is based on the De Morgan interpretation of the dual Grishin connectives.Author's Profile
My notes
Similar books and articles
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity.Wojciech Buszkowski - 2017 - Bulletin of the Section of Logic 46 (1/2).
Generalized Kripke semantics for the Lambek-Grishin calculus.A. Chernilovskaya, M. Gehrke & L. van Rooijen - 2012 - Logic Journal of the IGPL 20 (6):1110-1132.
Extraction in the Lambek-Grishin calculus.Arno Bastenhof - 2010 - In T. Icard & R. Muskens (eds.), Interfaces: Explorations in Logic, Language and Computation. Springer Berlin. pp. 57--71.
On Involutive Nonassociative Lambek Calculus.Wojciech Buszkowski - 2019 - Journal of Logic, Language and Information 28 (2):157-181.
Extending the Lambek Calculus with Classical Negation.Michael Kaminski - 2021 - Studia Logica 110 (2):295-317.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
Symmetric Categorial Grammar.Michael Moortgat - 2009 - Journal of Philosophical Logic 38 (6):681-710.
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
Normal form of derivations in the nonassociative and commutative lambek calculus with product.Maciej Kandulski - 1993 - Mathematical Logic Quarterly 39 (1):103-114.
On the Complexity of Nonassociative Lambek Calculus with Unit.Maria Bulińska - 2009 - Studia Logica 93 (1):1-14.
Analytics
Added to PP
2019-02-26
Downloads
13 (#1,066,279)
6 months
3 (#1,046,015)
2019-02-26
Downloads
13 (#1,066,279)
6 months
3 (#1,046,015)
Historical graph of downloads
Author's Profile
References found in this work
Classical non-associative Lambek calculus.Philippe de Groote & François Lamarche - 2002 - Studia Logica 71 (3):355-388.
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
Interpolation and FEP for logics of residuated algebras.Wojciech Buszkowski - 2011 - Logic Journal of the IGPL 19 (3):437-454.
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-68866f4b87-tsllw uwo