Non-associative Lambek calculus with modalities: interpolation, complexity and FEP

Logic Journal of the IGPL 22 (3):494-512 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzt042

Other Versions

No versions found

Links

PhilArchive

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

Non‐associative Lambek Categorial Grammar in Polynomial Time.Erik Aarts & Kees Trautwein - 1995 - Mathematical Logic Quarterly 41 (4):476-484.
Classical non-associative Lambek calculus.Philippe de Groote & François Lamarche - 2002 - Studia Logica 71 (3):355-388.
A rule-extension of the non-associative Lambek calculus.Heinrich Wansing - 2002 - Studia Logica 71 (3):443-451.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
On reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
Two Weak Lambek-Style Calculi: DNL and DNL.Wojciech Zielonka - 2012 - Logic and Logical Philosophy 21 (1):53-64.
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.

Analytics

Added to PP
2016-06-30

Downloads
66 (#907,188)

6 months
25 (#388,002)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Gentzen sequent calculi for some intuitionistic modal logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.
On Involutive Nonassociative Lambek Calculus.Wojciech Buszkowski - 2019 - Journal of Logic, Language and Information 28 (2):157-181.

Add more citations

References found in this work

Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
Categorial Type Logics.Michael Moortgat - 1997 - In J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen, Handbook of Logic and Language. Elsevier.
Mathematical linguistics and proof theory.Wojciech Buszkowski - 1997 - In J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen, Handbook of Logic and Language. Elsevier. pp. 683--736.
Multimodal linguistic inference.Michael Moortgat - 1996 - Journal of Logic, Language and Information 5 (3-4):349-385.

View all 8 references / Add more references