David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 85 (2):171 - 197 (2007)
The results of this paper extend some of the intimate relations that are known to obtain between combinatory logic and certain substructural logics to establish a general characterization theorem that applies to a very broad family of such logics. In particular, I demonstrate that, for every combinator X, if LX is the logic that results by adding the set of types assigned to X (in an appropriate type assignment system, TAS) as axioms to the basic positive relevant logic B∘T, then LX is sound and complete with respect to the class of frames in the Routley-Meyer relational semantics for relevant and substructural logics that meet a first-order condition that corresponds in a very direct way to the structure of the combinator X itself.
|Keywords||Philosophy Computational Linguistics Mathematical Logic and Foundations Logic|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Sato Kentaro (2008). Proper Semantics for Substructural Logics, From a Stalker Theoretic Point of View. Studia Logica 88 (2):295 - 324.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. Journal of Philosophical Logic 27 (2):179-216.
Greg Restall (1994). Subintuitionistic Logics. Notre Dame Journal of Formal Logic 35 (1):116-129.
André Fuhrmann & Edwin D. Mares (1994). On S. Studia Logica 53 (1):75 - 91.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Greg Restall (1930). Models for Substructural Arithmetics. Australasian Journal of Philosophy 8:82-99.
Greg Restall (forthcoming). Substructural Logics. Stanford Encyclopedia of Philosophy.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Lou Goble (2004). Combinator Logics. Studia Logica 76 (1):17 - 66.
Added to index2009-01-28
Total downloads40 ( #60,652 of 1,696,615 )
Recent downloads (6 months)9 ( #63,666 of 1,696,615 )
How can I increase my downloads?