- 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.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.
On Involutive Nonassociative Lambek Calculus.Wojciech Buszkowski - 2019 - Journal of Logic, Language and Information 28 (2):157-181.
Product-free Lambek calculus and context-free grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic.Paweł Płaczek - 2025 - Bulletin of the Section of Logic 54 (4):577-605.
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.
The Lambek calculus enriched with additional connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
Complexity of the Infinitary Lambek Calculus with Kleene Star.Stepan Kuznetsov - 2021 - Review of Symbolic Logic 14 (4):946-972.
Analytics
Added to PP
2013-12-01
Downloads
65 (#921,845)
6 months
18 (#649,931)
2013-12-01
Downloads
65 (#921,845)
6 months
18 (#649,931)
Historical graph of downloads
Citations of this work
Editorial introduction.Wojciech Buszkowski & Michael Moortgat - 2002 - Studia Logica 71 (3):261-275.
On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars.Maciej Kandulski - 2006 - Mathematical Logic Quarterly 41 (2):217-235.
References found in this work
Categorial Grammar.Wojciech Buszkowski, Witold Marciszewski & Johan van Benthem - 1991 - Studia Logica 50 (1):171-172.
Ginsburg Seymour. The mathematical theory of context free languages. McGraw-Hill Book Company, New York, San Francisco, St, Louis, Toronto, London, and Sydney, 1966, xii + 232 pp. [REVIEW]Seymour Ginsburg - 1968 - Journal of Symbolic Logic 33 (2):300-301.
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