Studia Logica 53 (1):75 - 91 (1994)
|Abstract||The sentential logic S extends classical logic by an implication-like connective. The logic was first presented by Chellas as the smallest system modelled by contraining the Stalnaker-Lewis semantics for counterfactual conditionals such that the conditional is effectively evaluated as in the ternary relations semantics for relevant logics. The resulting logic occupies a key position among modal and substructural logics. We prove completeness results and study conditions for proceeding from one family of logics to another.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Edwin D. Mares (2004). “Four-Valued” Semantics for the Relevant Logic R. Journal of Philosophical Logic 33 (3):327-341.
Greg Restall (1994). Subintuitionistic Logics. Notre Dame Journal of Formal Logic 35 (1):116-129.
Ewa Orlowska (1992). Relational Proof System for Relevant Logics. Journal of Symbolic Logic 57 (4):1425-1440.
Lou Goble (2007). Combinatory Logic and the Semantics of Substructural Logics. Studia Logica 85 (2):171 - 197.
Edwin D. Mares (1994). Why We Need a Relevant Theory of Conditionals. Topoi 13 (1):31-36.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Edwin D. Mares & André Fuhrmann (1995). A Relevant Theory of Conditionals. Journal of Philosophical Logic 24 (6):645 - 665.
Takahiro Seki (2003). A Sahlqvist Theorem for Relevant Modal Logics. Studia Logica 73 (3):383 - 411.
Added to index2009-01-28
Total downloads6 ( #145,407 of 548,969 )
Recent downloads (6 months)0
How can I increase my downloads?