Journal of Logic, Language and Information:1-21 (forthcoming)
AbstractLambek elegantly characterized part of natural language. As is well-known, his substructural logic L, and its non-associative version NL, handle basic function/argument composition well, but not scope taking and syntactic displacement—at least, not in their full generality. In previous work, I propose \, which is NL supplemented with a single structural inference rule.ion closely resembles the traditional linguistic rule of quantifier raising, and characterizes both semantic scope taking and syntactic displacement. Due to the unconventional form of the abstraction inference, there has been some doubt that \ should count at a legitimate substructural logic. This paper argues that \ is perfectly well-behaved. In particular, it enjoys cut elimination and an interpolation result. In addition, perhaps surprisingly, it is decidable. Finally, I prove that it is sound and complete with respect to the usual class of relational frames.
Similar books and articles
Stationary Sets and Infinitary Logic.Saharon Shelah & Jouko Vaananen - 2000 - Journal of Symbolic Logic 65 (3):1311-1320.
Logic Reduced To (Proof-Theoretical) Bare Bones.Jaroslav Peregrin - 2015 - Journal of Logic, Language and Information 24 (2):193-209.
Note on the Scope of Truth-Functional Logic.David Sherry - 1999 - Journal of Philosophical Logic 28 (3):327-328.
The Constraint Language for Lambda Structures.Markus Egg, Alexander Koller & Joachim Niehren - 2001 - Journal of Logic, Language and Information 10 (4):457-485.
Scope Control and Grammatical Dependencies.Alastair Butler - 2007 - Journal of Logic, Language and Information 16 (3):241-264.
The Proofs of $Alpha Rightarrow Alpha$ in $P - W$.Sachio Hirokawa - 1996 - Journal of Symbolic Logic 61 (1):195-211.
Fixed Point Theories and Dependent Choice.Gerhard Jäger & Thomas Strahm - 2000 - Archive for Mathematical Logic 39 (7):493-508.
On Proof Terms and Embeddings of Classical Substructural Logics.Ken-Etsu Fujita - 1998 - Studia Logica 61 (2):199-221.
Stationary Sets and Infinitary Logic.Saharon Shelah & Jouko Väänänen - 2000 - Journal of Symbolic Logic 65 (3):1311-1320.
Combinatory Logic and the Semantics of Substructural Logics.Lou Goble - 2007 - Studia Logica 85 (2):171-197.
Added to PP
Historical graph of downloads
Citations of this work
No citations found.
References found in this work
Categorial Type Logics.Michael Moortgat - 1997 - In J. van Benthem & A. ter Meulen (eds.), Handbook of Logic and Language. Elsevier.
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.
An Introduction to Substructural Logics (Review).Kosta Došen - 2001 - Bulletin of Symbolic Logic 7 (4):527-530.
Term-Labeled Categorial Type Systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.