A brief survey of frames for the Lambek calculus

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):179-187 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19920380113

Links

PhilArchive



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

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 brief survey of frames for the Lambek calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.
Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes.Wojciech Zielonka - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):215-224.
Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String.Wojciech Zielonka - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):135-142.
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic.V. Michele Abrusci - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):11-15.
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.
The Equivalence of Unidirectional Lambek Categorial Grammars and Context-Free Grammars.Wojcßch Buszkowski - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (24):369-384.
The ϱ-Calculus.C. K. R. T. Jones & P. J. Kelemen - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (7):97-110.
A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates.Alan Rose - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):177-198.
Modal Undefinability in Some Alternative Leibnizian Frames.R. E. Jennings, J. M. Pelham & R. R. O'Toole - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):19-24.
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
2016-02-04

Downloads
32 (#127,447)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.
Multimodal linguistic inference.Michael Moortgat - 1996 - Journal of Logic, Language and Information 5 (3-4):349-385.

View all 24 citations / Add more citations

References found in this work

Sequent-systems and groupoid models. I.Kosta Došen - 1988 - Studia Logica 47 (4):353 - 385.
Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.

Add more references