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.

Relevant Analytic Tableaux

Michael A. McRobbie and Nuel D. Belnap Jr.
Studia Logica: An International Journal for Symbolic Logic
Vol. 38, No. 2 (1979), pp. 187-200
Published by: Springer
Stable URL: http://www.jstor.org/stable/20014940
Page Count: 14
  • Download ($43.95)
  • Cite this Item
Relevant Analytic Tableaux
Preview not available

Abstract

Tableau formulations are given for the relevance logics E (Entailment), R (Relevant implication) and RM (Mingle). Proofs of equivalence to modus-ponens-based formulations are via"left-handed" Gentzen sequenzen-kalküle. The tableau formulations depend on a detailed analysis of the structure of tableau rules, leading to certain "global requirements". Relevance is caught by the requirement that each node must be "used"; modality is caught by the requirement that only certain rules can "cross a barrier". Open problems are discussed.

Page Thumbnails

  • Thumbnail: Page 
[187]
    [187]
  • Thumbnail: Page 
188
    188
  • Thumbnail: Page 
189
    189
  • Thumbnail: Page 
190
    190
  • Thumbnail: Page 
191
    191
  • Thumbnail: Page 
192
    192
  • Thumbnail: Page 
193
    193
  • Thumbnail: Page 
194
    194
  • Thumbnail: Page 
195
    195
  • Thumbnail: Page 
196
    196
  • Thumbnail: Page 
197
    197
  • Thumbnail: Page 
198
    198
  • Thumbnail: Page 
199
    199
  • Thumbnail: Page 
200
    200