Studia Logica

, Volume 53, Issue 1, pp 75–91 | Cite as

On S

  • André Fuhrmann
  • Edwin D. Mares


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.


Mathematical Logic Study Condition Relation Semantic Computational Linguistic Classical Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    B. Chellas,Basic conditional logic,Journal of Philosophical Logic 4 (1975), pp. 133–153.Google Scholar
  2. [2]
    K. Došen,Sequent-systems and groupoid models I – II,Studia Logica 47 (1988), pp. 353–385, 48 (1989), pp. 41 – 65Google Scholar
  3. [3]
    K. Došen,A brief survey of frames for the Lambek calculus,Zeitschr. f. mathem. Logik u. Grundl. d. Mathem. 38 (1992), pp. 179–187Google Scholar
  4. [4]
    J. Lambek,The mathematics of sentence structure,Amer. Math. Monthly 65 (1958), pp. 154–170Google Scholar
  5. [5]
    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 – 178Google Scholar
  6. [6]
    D. Lewis,Counterfactuals, Oxford (Blackwell) 1973Google Scholar
  7. [7]
    E. Mendelson,Introduction to Mathematical Logic, Monterey (Wadsworth) 1987Google Scholar
  8. [8]
    R. K. Meyer andR. Routley,Classical relevant logics I – II,Studia Logica 32 (1973), pp. 51–68, and 33 (1974), pp. 183 – 194Google Scholar

Copyright information

© Kluwer Academic Publishers 1994

Authors and Affiliations

  • André Fuhrmann
    • 1
  • Edwin D. Mares
    • 2
  1. 1.Department of PhilosophyUniversity of KonstanzKonstanzGermany
  2. 2.Department of PhilosophyVictoria University of WellingtonWellingtonNew Zealand

Personalised recommendations