You are not currently logged in.
Access JSTOR through your library or other 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
You can always find the topics here!Topics: Tableaux, Semantic tableaux, Analytics, Relevance logic, Semantics, Tableau systems, Mathematical logic, Entailment, Refutation, Logical givens
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
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.
Studia Logica: An International Journal for Symbolic Logic © 1979 Springer