- 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
Normal form of derivations in the nonassociative and commutative lambek calculus with product
Mathematical Logic Quarterly 39 (1):103-114 (1993)
Abstract
We show that derivations in the nonassociative and commutative Lambek calculus with product can be transformed to a normal form as it is the case with derivations in noncommutative calculi. As an application we obtain that the class of languages generated by categorial grammars based on the nonassociative and commutative Lambek calculus with product is included in the class of CF-languages. MSC: 68Q50, 03D15, 03B65.Other Versions
No versions found
My notes
Similar books and articles
On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars.Maciej Kandulski - 1995 - Mathematical Logic Quarterly 41 (2):217-235.
Commutative Lambek Grammars.Tikhon Pshenitsyn - 2023 - Journal of Logic, Language and Information 32 (5):887-936.
On the Complexity of Nonassociative Lambek Calculus with Unit.Maria Bulińska - 2009 - Studia Logica 93 (1):1-14.
Product-free Lambek calculus and context-free grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.
On Involutive Nonassociative Lambek Calculus.Wojciech Buszkowski - 2019 - Journal of Logic, Language and Information 28 (2):157-181.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
The Lambek calculus enriched with additional connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars.Maciej Kandulski - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):41-52.
Analytics
Added to PP
2013-12-01
Downloads
30 (#740,724)
6 months
5 (#1,013,651)
2013-12-01
Downloads
30 (#740,724)
6 months
5 (#1,013,651)
Historical graph of downloads
Citations of this work
Editorial introduction.Wojciech Buszkowski & Michael Moortgat - 2002 - Studia Logica 71 (3):261-275.
References found in this work
Categorial Grammar.Wojciech Buszkowski, Witold Marciszewski & Johan van Benthem - 1991 - Studia Logica 50 (1):171-172.
The Mathematical Theory of Context Free Languages.Seymour Ginsburg - 1968 - Journal of Symbolic Logic 33 (2):300-301.
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-sfdq8 dc2