Normal form of derivations in the nonassociative and commutative lambek calculus with product

Mathematical Logic Quarterly 39 (1):103-114 (1993)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1002/malq.19930390113

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Product-free Lambek calculus and context-free grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.
The equivalence of Nonassociative Lambek Categorial Grammars and Context‐Free Grammars.Maciej Kandulski - 1988 - Mathematical Logic Quarterly 34 (1):41-52.
The Lambek calculus enriched with additional connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
Linear axiomatics of commutative product-free Lambek calculus.Wojciech Zielonka - 1990 - Studia Logica 49 (4):515 - 522.
The finite model property for BCI and related systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
Categorial grammar.Raffaella Bernardi - unknown
On reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
A faithful representation of non-associative Lambek grammars in abstract categorial grammars.Christian Retoré & Sylvain Salvati - 2010 - Journal of Logic Language and Information 19 (2):185-200.
A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi.Wojciech Zielonka - 1989 - Studia Logica 48 (1):35 - 39.
Gaifman's theorem on categorial grammars revisited.Wojciech Buszkowski - 1988 - Studia Logica 47 (1):23 - 33.
Two Weak Lambek-Style Calculi: DNL and DNL.Wojciech Zielonka - 2012 - Logic and Logical Philosophy 21 (1):53-64.

Analytics

Added to PP
2013-12-01

Downloads
24 (#639,942)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Editorial introduction.Wojciech Buszkowski & Michael Moortgat - 2002 - Studia Logica 71 (3):261-275.
Type Logics and Pregroups.Wojciech Buszkowski - 2007 - Studia Logica 87 (2-3):145-169.

Add more citations

References found in this work

The Mathematical Theory of Context Free Languages.Seymour Ginsburg - 1968 - Journal of Symbolic Logic 33 (2):300-301.

Add more references