Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):135-142 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340207

Links

PhilArchive



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

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 reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
Cut‐Rule Axiomatization of Product‐Free Lambek Calculus With the Empty String.Wojciech Zielonka - 1988 - Mathematical Logic Quarterly 34 (2):135-142.
Linear axiomatics of commutative product-free Lambek calculus.Wojciech Zielonka - 1990 - Studia Logica 49 (4):515 - 522.
On the directional Lambek calculus.Wojciech Zielonka - 2010 - Logic Journal of the IGPL 18 (3):403-421.
Cut-rule axiomatization of the syntactic calculus L.Wojciech Zielonka - 2001 - Journal of Logic, Language and Information 10 (2):339-352.
Product-free Lambek calculus and context-free grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.
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.
Two Weak Lambek-Style Calculi: DNL and DNL.Wojciech Zielonka - 2012 - Logic and Logical Philosophy 21 (1):53-64.
Cut-rule axiomatization of the syntactic calculus NL.Wojciech Zielonka - 2000 - Journal of Logic, Language and Information 9 (3):339-352.
The finite model property for BCI and related systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars.Maciej Kandulski - 1995 - Mathematical Logic Quarterly 41 (2):217-235.
Normal form of derivations in the nonassociative and commutative lambek calculus with product.Maciej Kandulski - 1993 - Mathematical Logic Quarterly 39 (1):103-114.
Lambek grammars as combinatory categorial grammars.G. Jäger - 2001 - Logic Journal of the IGPL 9 (6):781-792.
Lambek calculus and its relational semantics: Completeness and incompleteness. [REVIEW]Hajnal Andréka & Szabolcs Mikulás - 1994 - Journal of Logic, Language and Information 3 (1):1-37.
Non‐associative Lambek Categorial Grammar in Polynomial Time.Erik Aarts & Kees Trautwein - 1995 - Mathematical Logic Quarterly 41 (4):476-484.

Analytics

Added to PP
2015-12-02

Downloads
29 (#550,291)

6 months
3 (#973,855)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.
On the directional Lambek calculus.Wojciech Zielonka - 2010 - Logic Journal of the IGPL 18 (3):403-421.

Add more citations

References found in this work

No references found.

Add more references