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

Other Versions

original Zielonka, Wojciech (1981) "Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes". Mathematical Logic Quarterly 27(13‐14):215-224

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

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.
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.
EQ and the First Order Functional Calculus.Nuel D. Belnap - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):217-218.

Analytics

Added to PP
2015-12-02

Downloads
38 (#598,068)

6 months
6 (#882,325)

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