Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):215-224 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19810271306

Links

PhilArchive



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

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

Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes.Wojciech Zielonka - 1981 - Mathematical Logic Quarterly 27 (13‐14):215-224.
On reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
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.
Cut-rule axiomatization of the syntactic calculus L.Wojciech Zielonka - 2001 - Journal of Logic, Language and Information 10 (2):339-352.
On the directional Lambek calculus.Wojciech Zielonka - 2010 - Logic Journal of the IGPL 18 (3):403-421.
On the equivalence of Ajdukiewicz-Lambek calculus and simple phrase structure grammars.Wojciech Zielonka - 1976 - Bulletin of the Section of Logic 5 (2):1-4.
On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars.Maciej Kandulski - 1995 - Mathematical Logic Quarterly 41 (2):217-235.
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.
Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus.Wojciech Buszkowski - 1978 - Studia Logica 37 (1):59 - 64.
A 'natural logic' inference system using the Lambek calculus.Anna Zamansky, Nissim Francez & Yoad Winter - 2006 - Journal of Logic, Language and Information 15 (3):273-295.
A note on the Lambek-van Benthem calculus.Wojciech Buszkowski - 1984 - Bulletin of the Section of Logic 13 (1):31-35.
Completeness and axiomatizability theorems for the non-associative Lambek syntactic calculus.Maciej Kandulski - 1985 - Bulletin of the Section of Logic 14 (4):164-169.
Categorial semantics for ajdukievvicz-Lambek calculus.Vladimir L. Vasyukov - 1995 - In Vito Sinisi & Jan Woleński (eds.), The Heritage of Kazimierz Ajdukiewicz. Rodopi. pp. 40--321.
A Labelled Deductive System for Relational Semantics of the Lambek Calculus.Miroslawa Kolowska-Gawiejnowicz - 1999 - Mathematical Logic Quarterly 45 (1):51-58.

Analytics

Added to PP
2015-12-02

Downloads
32 (#495,286)

6 months
5 (#626,991)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Gapping as constituent coordination.Mark J. Steedman - 1990 - Linguistics and Philosophy 13 (2):207 - 263.
Discontinuity in categorial grammar.Glyn Morrill - 1995 - Linguistics and Philosophy 18 (2):175 - 219.
Geach’s Categorial Grammar.Lloyd Humberstone - 2004 - Linguistics and Philosophy 28 (3):281 - 317.
Cut-rule axiomatization of the syntactic calculus NL.Wojciech Zielonka - 2000 - Journal of Logic, Language and Information 9 (3):339-352.

View all 10 citations / Add more citations

References found in this work

Add more references