David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 54 (1):3 - 32 (1995)
This paper contributes to the theory of hybrid substructural logics, i.e. weak logics given by a Gentzen-style proof theory in which there is only alimited possibility to use structural rules. Following the literture, we use an operator to mark formulas to which the extra structural rules may be applied. New in our approach is that we do not see this as a modality, but rather as themeet of the marked formula with a special typeQ. In this way we can make the specific structural behaviour of marked formulas more explicit.The main motivation for our approach is that we can provide a nice, intuitive semantics for hybrid substructural logics. Soundness and completeness for this semantics are proved; besides this we consider some proof-theoretical aspects like cut-elimination and embeddings of the strong system in the hybrid one.
|Keywords||No keywords specified (fix it)|
|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
Heinrich Wansing (1995). Tarskian Structured Consequence Relations and Functional Completeness. Mathematical Logic Quarterly 41 (1):73-92.
Similar books and articles
Norihiro Kamide (2003). Normal Modal Substructural Logics with Strong Negation. Journal of Philosophical Logic 32 (6):589-612.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Ken-etsu Fujita (1998). On Proof Terms and Embeddings of Classical Substructural Logics. Studia Logica 61 (2):199-221.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. [REVIEW] Journal of Philosophical Logic 27 (2):179-216.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Sato Kentaro (2008). Proper Semantics for Substructural Logics, From a Stalker Theoretic Point of View. Studia Logica 88 (2):295 - 324.
Greg Restall (1994). Subintuitionistic Logics. Notre Dame Journal of Formal Logic 35 (1):116-129.
Greg Restall (forthcoming). Substructural Logics. Stanford Encyclopedia of Philosophy.
Added to index2009-01-28
Total downloads9 ( #163,591 of 1,100,077 )
Recent downloads (6 months)3 ( #127,210 of 1,100,077 )
How can I increase my downloads?