Classical conservative extensions of Lambek calculus

Studia Logica 71 (3):277 - 314 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1020560613199

Links

PhilArchive



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

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

Classical non-associative Lambek calculus.Philippe de Groote & François Lamarche - 2002 - Studia Logica 71 (3):355-388.
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.Maria Bulińska - 2005 - Studia Logica 81 (1):43-59.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
On Finite Models of the Lambek Calculus.Maciej Farulewski - 2005 - Studia Logica 80 (1):63-74.
Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition.Denis Béchet - 2007 - Studia Logica 87 (2-3):199-224.
Correspondence results for relational proof systems with application to the Lambek calculus.Wendy MacCaull & Ewa Orłlowska - 2002 - Studia Logica 71 (3):389-414.
A rule-extension of the non-associative Lambek calculus.Heinrich Wansing - 2002 - Studia Logica 71 (3):443-451.
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.Sharon Shoham & Nissim Francez - 2008 - Studia Logica 90 (2):161-188.
A tale of four grammars.Claudia Casadio & Joachim Lambek - 2002 - Studia Logica 71 (3):315-329.
On the Complexity of Nonassociative Lambek Calculus with Unit.Maria Bulińska - 2009 - Studia Logica 93 (1):1-14.
Proof nets for the multimodal Lambek calculus.Richard Moot & Quintijn Puite - 2002 - Studia Logica 71 (3):415-442.
Distributive Full Lambek Calculus Has the Finite Model Property.Michał Kozak - 2009 - Studia Logica 91 (2):201-216.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
On Conservative Extensions in Logics with Infinitary Predicates.Miklós Ferenczi - 2009 - Studia Logica 92 (1):121-135.
A splitting logic in NExt(KTB).Yutaka Miyazaki - 2007 - Studia Logica 85 (3):381 - 394.

Analytics

Added to PP
2009-01-28

Downloads
48 (#324,723)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Sequent systems for consequence relations of cyclic linear logics.Paweł Płaczek - forthcoming - Bulletin of the Section of Logic:30 pp..

Add more citations

References found in this work

Non-commutative intuitionistic linear logic.V. Michele Abrusci - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):297-318.
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.

Add more references