On S

Studia Logica 53 (1):75 - 91 (1994)
Authors
Edwin Mares
Victoria University of Wellington
André Fuhrmann
Goethe University Frankfurt
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)
Categories (categorize this paper)
DOI 10.1007/BF01053023
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,829
Through your library

References found in this work BETA

Basic Conditional Logic.Brian F. Chellas - 1975 - Journal of Philosophical Logic 4 (2):133 - 153.
Classical Relevant Logics. I.Robert K. Meyer & Richard Routley - 1973 - Studia Logica 32 (1):51 - 68.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.
Relational Proof System for Relevant Logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
A Relevant Theory of Conditionals.Edwin D. Mares & André Fuhrmann - 1995 - Journal of Philosophical Logic 24 (6):645 - 665.

Analytics

Added to PP index
2009-01-28

Total downloads
51 ( #126,991 of 2,293,782 )

Recent downloads (6 months)
2 ( #253,177 of 2,293,782 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature