Models for the Lambek calculus

Annals of Pure and Applied Logic 75 (1-2):179-213 (1995)
  Copy   BIBTEX

Abstract

We prove that the Lambek calculus is complete w.r.t. L-models, i.e., free semigroup models. We also prove the completeness w.r.t. relativized relational models over the natural linear order of integers

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(94)00063-9

Links

PhilArchive



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

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

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.
Product-free Lambek calculus and context-free grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.
On reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
A brief survey of frames for the Lambek calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.
The Lambek calculus enriched with additional connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
The conjoinability relation in Lambek calculus and linear logic.Mati Pentus - 1994 - Journal of Logic, Language and Information 3 (2):121-140.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus.Bob Coecke, Edward Grefenstette & Mehrnoosh Sadrzadeh - 2013 - Annals of Pure and Applied Logic 164 (11):1079-1100.
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.
Categorial grammar.Raffaella Bernardi - unknown
The finite model property for BCI and related systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
Normal form of derivations in the nonassociative and commutative lambek calculus with product.Maciej Kandulski - 1993 - Mathematical Logic Quarterly 39 (1):103-114.

Analytics

Added to PP
2014-01-16

Downloads
19 (#753,814)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.
erG A.Brief Guide Resource-Sensitivity-A. - 2003 - In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora. Kluwer Academic Publishers.

View all 7 citations / Add more citations

References found in this work

The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
Language in action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.
Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1‐5):13-28.
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.

View all 15 references / Add more references