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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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

A Completeness Theorem for the Lambek Calculus of Syntactic Categories.Kosta Došen - 1985 - Mathematical Logic Quarterly 31 (14-18):235-241.
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.
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.
Review: Kosta Dosen, Deductive Completeness. [REVIEW]J. Lambek - 1998 - Journal of Symbolic Logic 63 (3):1185-1186.
Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus.Christian Wurm - 2017 - Journal of Logic, Language and Information 26 (2):179-214.

Analytics

Added to PP
2015-12-02

Downloads
34 (#123,329)

6 months
6 (#1,472,471)

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.
Models for the Lambek calculus.Mati Pentus - 1995 - Annals of Pure and Applied Logic 75 (1-2):179-213.
Fibred semantics for feature-based grammar logic.Jochen Dörre, Esther König & Dov Gabbay - 1996 - Journal of Logic, Language and Information 5 (3-4):387-422.

View all 7 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