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.
Similar content being viewed by others
References
B. Chellas,Basic conditional logic,Journal of Philosophical Logic 4 (1975), pp. 133–153.
K. Došen,Sequent-systems and groupoid models I – II,Studia Logica 47 (1988), pp. 353–385, 48 (1989), pp. 41 – 65
K. Došen,A brief survey of frames for the Lambek calculus,Zeitschr. f. mathem. Logik u. Grundl. d. Mathem. 38 (1992), pp. 179–187
J. Lambek,The mathematics of sentence structure,Amer. Math. Monthly 65 (1958), pp. 154–170
J. Lambek,On the calculus of syntactic types, inStructure of Language and its Mathematical Aspects, ed. R. Jacobson, Providence, R.I. (Amer. Math. Soc.) 1961, pp. 166 – 178
D. Lewis,Counterfactuals, Oxford (Blackwell) 1973
E. Mendelson,Introduction to Mathematical Logic, Monterey (Wadsworth) 1987
R. K. Meyer andR. Routley,Classical relevant logics I – II,Studia Logica 32 (1973), pp. 51–68, and 33 (1974), pp. 183 – 194
Author information
Authors and Affiliations
Additional information
We are grateful to Peter Apostoli, Kosta Došen, and anonymous referees for their comments on an earlier version of this paper. A.F.'s work has been supported by a grant from the Volkswagen-Stiftung.
Rights and permissions
About this article
Cite this article
Fuhrmann, A., Mares, E.D. On S. Stud Logica 53, 75–91 (1994). https://doi.org/10.1007/BF01053023
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01053023