Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

On S

André Fuhrmann and Edwin D. Mares
Studia Logica: An International Journal for Symbolic Logic
Vol. 53, No. 1 (Feb., 1994), pp. 75-91
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015708
Page Count: 17
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
On S
Preview not available

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.

Page Thumbnails

  • Thumbnail: Page 
[75]
    [75]
  • Thumbnail: Page 
76
    76
  • Thumbnail: Page 
77
    77
  • Thumbnail: Page 
78
    78
  • Thumbnail: Page 
79
    79
  • Thumbnail: Page 
80
    80
  • Thumbnail: Page 
81
    81
  • Thumbnail: Page 
82
    82
  • Thumbnail: Page 
83
    83
  • Thumbnail: Page 
84
    84
  • Thumbnail: Page 
85
    85
  • Thumbnail: Page 
86
    86
  • Thumbnail: Page 
87
    87
  • Thumbnail: Page 
88
    88
  • Thumbnail: Page 
89
    89
  • Thumbnail: Page 
90
    90
  • Thumbnail: Page 
91
    91