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.
Similar content being viewed by others
References
A. R. Anderson and N. D. Belnap, Jr., Entailment: The Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, New Jersey, 1975.
N. D. Belnap, Jr. and J. R. Wallace, A Decision Procedure for the System E Ī of Entailment with Negation, Zeitschrift für Mathematische Logic und Grundlagen der Mathematik 11 (1965), pp. 277–289.
E. W. Beth, The Foundations of Mathematics, North-Holland, Amsterdam, 1959.
H. B. Curry, Foundations of Mathematical Logic, McGraw-Hill, New York, 1963.
B. Davidson, Modal Trees for Modal Predicate Logics, in preparation.
B. Davidson, F. Jackson, and R. Pargetter, Modal Trees for T and S5, Notre Dame Journal of Formal Logic 18 (1977), pp. 602–606.
J. M. Dunn, Intuitive Semantics for First-Degree Entailments and ‘Coupled Trees’, Philosophical Studies 29 (1976), pp. 149–168.
M. Eytan, Tableaux de Smullyan, Ensembles de Hintikka et tout ça: Un Point de vue Algébrique, Mathematiques et Sciences Humaines 12 (1974), pp. 21–27.
M. Fitting, Tableau Methods of Proof for Modal Logics, Notre Dame Journal of Formal Logic 13 (1972), pp. 237–247.
G. Gentzen, Untersuchungen über das Logische Schliessen, Mathematische Zeitschrift 39 (1935), pp. 176–210 and pp. 405–431. Reprinted in translation in Gentzen , 68–131, as Investigations into Logical Deduction.
G. Gentzen, The Collected Papers of Gerhard Gentzen, ed., M. Szabo, North-Holland, Amsterdam, 1969.
R. A. Girle, Extending Truth-Trees to Modal Logic, The Australian Logic Teachers' Journal 1 (1977), pp. 1–7.
W. Gustason, and D. E. Ulrich, Elementary Symbolic Logic, Holt, Rinehart and Winston, New York, 1973.
J. J. K. Hintikka, Form and Content in Quantification Theory, Acta Philosophica Fennica 8 (1955), 7–55.
R. C. Jeffrey, Formal Logic: Its Scope and Limits, McGraw-Hill, New York, 1967.
A. Kino, J. Myhill, and R. E. Vesley, (eds.), Intuitionism and Proof Theory: Proceedings of the Summer conference at Buffalo, N. Y., 1968, North-Holland, Amsterdam, 1970.
S. A. Kripke, The Problem of Entailment, (Abstract), Journal of Symbolic Logic 24 (1959), p. 324.
H. Leblanc, (ed.), Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics, North-Holland, Amsterdam, 1973.
H. Leblanc and W. A. Wisdom, Deductive Logic, Allyn and Bacon, Boston 1972.
T. A. Linden, Tree Procedures for Infinitary Logic, Ph. D. Thesis, Yeshiva University, New York State, 1968.
M. A. McRobbie, A Tableau System for Positive Relevant Implication, (Abstract), Bulletin of the Section of Logic, Polish Academy of Sciences, Institute of Philosophy and Sociology, Wroclaw, 6 (1977), pp. 131–133 and Relevance Logic Newsletter 2 (1977), pp. 99–101.
M. A. McRobbie, Cut Elimination Theorems for Tableau Formulations of Relevant Logics, (Abstract), Relevance Logic Newsletter, Forthcoming.
M. A. McRobbie, Strict Analytic Tableaux, In preparation.
M. A. McRobbie and N. D. Belnap, Jr., Relevant Analytic Tableaux, (Abstract), Relevance Logic Newsletter 2 (1977), pp. 46–49.
R. K. Meyer, Conservative Extension in Relevant Implication, Studia Logica 31 (1972), pp. 39–46.
M. K. Rennie and R. A. Girle, Logic: Theory and Practice, University of Queensland Press, Brisbane, 1973.
R. Routley and R. K. Meyer, The Semantics of Entailment I, in Leblanc , pp. 199–243.
R. M. Smullyan, A Unifying Principal in Quantification Theory, Proceedings of the National Academy of Sciences of the United States of America 49 (1963), pp. 828–832.
R. M. Smullyan, Analytic Natural Deduction, Journal of Symbolic Logic 30 (1965), pp. 123–139.
R. M. Smullyan, Finite Nest Structures and Propositional Logic, Journal of Symbolic Logic 31 (1966), pp. 322–324.
R. M. Smullyan, Trees and Nest Structures, Journal of Symbolic Logic 31 (1966), pp. 303–321.
R. M. Smullyan, First-Order Logic, Springer, New York, 1968.
R. M. Smullyan, Abstract Quantification Theory, in Kino, Myhill, and Vesley , pp. 79–91.
R. M. Smullyan, A Generalization of Intuitionistic and Modal Logics, in Leblanc , pp. 274–293.
S. A. Toledo, Tableau Systems for First Order Number Theory and Certain Higher Order Theories, Springer, Berlin, 1975.
A. Urquhart, Semantics for Relevant Logics, Journal of Symbolic Logic 37 (1972), pp. 159–169.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
McRobbie, M.A., Belnap, N.D. Relevant analytic tableaux. Stud Logica 38, 187–200 (1979). https://doi.org/10.1007/BF00370441
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370441