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

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 PDF
  • Cite this Item

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
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