A Completeness Theorem for the Lambek Calculus of Syntactic Categories

Mathematical Logic Quarterly 31 (14-18):235-241 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19850311405

Other Versions

No versions found

Links

PhilArchive



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

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 Labelled Deductive System for Relational Semantics of the Lambek Calculus.Miroslawa Kolowska-Gawiejnowicz - 1999 - Mathematical Logic Quarterly 45 (1):51-58.
Powerset residuated algebras and generalized Lambek calculus.Miroslawa Kolowska-Gawiejnowicz - 1997 - Mathematical Logic Quarterly 43 (1):60-72.
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 comparison between lambek syntactic calculus and intuitionistic linear propositional logic.V. Michele Abrusci - 1990 - Mathematical Logic Quarterly 36 (1):11-15.
Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus.Christian Wurm - 2017 - Journal of Logic, Language and Information 26 (2):179-214.
Completeness and axiomatizability theorems for the non-associative Lambek syntactic calculus.Maciej Kandulski - 1985 - Bulletin of the Section of Logic 14 (4):164-169.
Kosta Došen. Deductive completeness. The bulletin of symbolic logic, vol. 2 , pp. 243–283.J. Lambek - 1998 - Journal of Symbolic Logic 63 (3):1185-1186.
A Concrete Categorical Model For The Lambek Syntactic Calculu.Marcelo Da Silva Corrêa & Edward Haeusler - 1997 - Mathematical Logic Quarterly 43 (1):49-59.

Analytics

Added to PP
2013-10-31

Downloads
93 (#225,942)

6 months
16 (#187,025)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Sequent-systems and groupoid models. I.Kosta Došen - 1988 - Studia Logica 47 (4):353 - 385.
A brief survey of frames for the Lambek calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.
Language in action.Johan Benthem - 1991 - Journal of Philosophical Logic 20 (3):225 - 263.
Models for the Lambek calculus.Mati Pentus - 1995 - Annals of Pure and Applied Logic 75 (1-2):179-213.

View all 8 citations / Add more citations

References found in this work

Undecidable theories.Alfred Tarski - 1968 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.

Add more references