Abstract
This paper surveys the various forms of Deduction Theorem for a broad range of relevant logics. The logics range from the basic system B of Routley-Meyer through to the system R of relevant implication, and the forms of Deduction Theorem are characterized by the various formula representations of rules that are either unrestricted or restricted in certain ways. The formula representations cover the iterated form,A 1 → .A 2 → . ... .A n →B, the conjunctive form,A 1&A 2 & ...A n →B, the combined conjunctive and iterated form, enthymematic version of these three forms, and the classical implicational form,A 1&A 2& ...A n ⊃B. The concept of general enthymeme is introduced and the Deduction Theorem is shown to apply for rules essentially derived using Modus Ponens and Adjunction only, with logics containing either (A →B)&(B →C) → .A →C orA →B → .B →C→ .A →C.
Similar content being viewed by others
References
A. R. Anderson,Completeness theorems for the systems E of entailment and EQ of entailment with quantification,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 6 (1960), pp. 201–216.
A. R. Anderson andN. D. Belnap Jr,Entailment. The Logic of Relevance and Necessity, vol. 1. Princeton U. P., 1975.
R. T. Brady,Natural deduction systems for some quantified relevant logics,Logique et Analyse,27 (1984), pp. 355–377.
R. T. Brady,Entailment, classicality and the paradoxes, paper delivered to Australasian Association of Philosophy Conference held at A.N.U., Canberra, 1989.
R. T. Brady,Gentzenization and decidability of RW,Journal of Philosophical Logic 19 (1990), pp. 35–73.
R. T. Brady,Gentzenization and decidability of some contradictionless relevant logics,Journal of Philosophical Logic 20 (1991), pp. 97–117.
R. T. Brady,Rules in relevant logic — I: Semantic Classification,Journal of Philosophical Logic, forthcoming.
R. T. Brady,Universal logic, in preparation.
A. Church,The weak theory of implication, in Menne, Wilheimy, Angsil (eds),Kontrolliertes Denken, Untersuchungen zum Logikkalkül und der Logik der Einzelwissenschaften, Munich 1951, pp. 22 – 37.
J. M. Dunn,Relevance logic and entailment, in D. Gabbay, F. Guenthner (eds),Handbook of Philosophical Logic 3, D. Reidel Publ. Co., Dordrecht 1986, pp. 117–224.
A. Kron,Deduction theorems for relevant logics,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 19 (1973), pp. 85–92.
A. Kron,Deduction theorems for T, E and R reconsidered,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 22 (1976), pp. 261–264.
R. K. Meyer, J. M. Dunn andH. Leblanc,Completeness of relevant quantification theories,Notre Dame Journal of Formal Logic 15 (1974), pp. 97–121.
R. K. Meyer andM. A. McRobbie,Multisets and relevant implication I and II,Australasian Journal of Philosophy 60 (1982), pp. 107–139 and 265 – 281.
S-K. Moh,The deduction theorems and two new logical systems,Methodos 2 (1950), pp. 56–75.
R. Routley, R. K. Meyer, R. K. Plumwood andR. T. Brady,Relevant Logics and their Rivals I, Ridgeview 1982.
A. Urquhart,The undecidability of entailment and relevant implication,Journal of Symbolic Logic 49 (1984), pp. 1059–1073.
Author information
Authors and Affiliations
Additional information
I acknowledge help from anonymous referees for guidance in preparing Part II, and especially for the suggestion that Theorem 9 could be expanded to fully contraction-less logics.
Rights and permissions
About this article
Cite this article
Brady, R.T. Rules in relevant logic — II: Formula representation. Stud Logica 52, 565–585 (1993). https://doi.org/10.1007/BF01053260
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01053260