Completeness Results for Lambek Syntactic Calculus

Mathematical Logic Quarterly 32 (1-5):13-28 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860320104

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

Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1‐5):13-28.
A brief survey of frames for the Lambek calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.
A note on the Lambek-van Benthem calculus.Wojciech Buszkowski - 1984 - Bulletin of the Section of Logic 13 (1):31-35.
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.
On the Complexity of Some Substructural Logics.Buszkowski Wojciech - 2008 - Reports on Mathematical Logic.
Cut-rule axiomatization of the syntactic calculus L.Wojciech Zielonka - 2001 - Journal of Logic, Language and Information 10 (2):339-352.
Powerset residuated algebras and generalized Lambek calculus.Miroslawa Kolowska-Gawiejnowicz - 1997 - Mathematical Logic Quarterly 43 (1):60-72.
On reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
A Concrete Categorical Model for the Lambek Syntactic Calculus.Marcelo Da Silva Corrêa & Edward Hermann Haeusler - 1997 - Mathematical Logic Quarterly 43 (1):49-59.
A Labelled Deductive System for Relational Semantics of the Lambek Calculus.Miroslawa Kolowska-Gawiejnowicz - 1999 - Mathematical Logic Quarterly 45 (1):51-58.
A Completeness Theorem for the Lambek Calculus of Syntactic Categories.Kosta Došen - 1985 - Mathematical Logic Quarterly 31 (14-18):235-241.
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.
The finite model property for BCI and related systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
Completeness and axiomatizability theorems for the non-associative Lambek syntactic calculus.Maciej Kandulski - 1985 - Bulletin of the Section of Logic 14 (4):164-169.
A Completeness Theorem for the Lambek Calculus of Syntactic Categories.Kosta Došen - 1985 - Mathematical Logic Quarterly 31 (14-18):235-241.

Analytics

Added to PP
2015-12-02

Downloads
30 (#521,181)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.
Sequent-systems and groupoid models. I.Kosta Došen - 1988 - Studia Logica 47 (4):353 - 385.
Sequent-systems and groupoid models. II.Kosta Došen - 1989 - Studia Logica 48 (1):41 - 65.
Sequent systems for compact bilinear logic.Wojciech Buszkowski - 2003 - Mathematical Logic Quarterly 49 (5):467.

View all 24 citations / Add more citations

References found in this work

No references found.

Add more references