|
Humanities and Social Sciences |
 |
Philosophy ProgramStaff ProfilesDr Ross BradyPublicationsBooks Relevant Logics and Their Rivals, Vol.2: A Continuation of the Work of R. Sylvan, R.K. Meyer, V. Plumwood and R.T. Brady, ed. by R.T. Brady with contributions by M. Bunder, A. Fuhrmann, A. Logaric, E. Mares, C. Mortensen and A. Urquhart, Ashgate, Aldershot, 2003, 425pp. R. Routley, R.K. Meyer, V. Plumwood and R.T. Brady, Relevant Logics and Their Rivals, Vol.1, Ridgeview, California, 1982, pp. 460.
Book Chapters & Papers (2002 and later) "Entailment Logic - A Blueprint", in W. Carnielli and J-Y. Beziau (eds.) Paraconsistency with No Frontiers, North-Holland, pp. 109-131, 2006, forthcoming. "A Rejection System for the First-Degree Formulae of some Relevant Logics", Australasian Journal of Logic, Vol. 4 (2006), forthcoming. "Relevant Restricted Quantification" with J.C. Beall, A. Hazen, G. Priest and G. Restall, Journal of Philosophical Logic, Vol. 35, 2006, pp. 587-598. "Normalized Natural Deduction Systems for Some Relevant Logics I: The Logic DW", Journal of Symbolic Logic, Vol. 71, 2006, pp. 35-66. "On the Formalization of the Law of Non-Contradiction" in G. Priest, J.C. Beall and B. Armour-Garb (eds.), The Law of Non-Contradiction: New Philosophical Essays, Clarendon Press, Oxford, 2004, pp. 41-48. "Semantic Decision Procedures for Some Relevant Logics", Australasian Journal of Logic, Vol. 1 (2003), pp. 4-27, honouring Richard Sylvan. "Ordering Properties for the Routley-Meyer Relation R", Journal of Applied Non-Classical Logics, Vol. 12 (2002), pp. 85-98.
Book Chapters & Papers (Before 2002) "The Relative Consistency of the Class Axioms of Abstraction and Extensionality and the Axioms of NBG in a Three-Valued Logic", Notre Dame Journal of Formal Logic, Vol. 13 (1972), pp. 161-176. (With R. Routley) "Don't Care was Made to Care", Australasian Journal of Philosophy, Vol. 51 (1973), pp. 211-225. "Significance Logics", Notre Dame Journal of Formal Logic, Vol. 17 (1976), pp. 161-183. "A Computer Program for Determining Matrix Models of Propositional Calculi", Logique et Analyse, Vol. 19 (1976), pp. 233-253. "Unspecified Constants in Predicate Calculus and First-Order Theories", Logique et Analyse, Vol. 20 (1977), pp. 229-243. "Two Remarks on "The Logic of Significance and Context" ", Notre Dame Journal of Formal Logic, Vol. 21 (1980), pp. 263-272. " Significance Range Theory", Notre Dame Journal of Formal Logic, Vol. 21 (1980), pp. 319-345. "A Theory of Classes and Individuals Based on a 3-valued Significance Logic", Notre Dame Journal of Formal Logic, Vol. 21 (1980), pp. 385-414. "Skolem's Paradox - A Formalized Resolution", Australian Logic Teachers' Journal, Vol. 5 (Academic Issue) (1981), pp. 38-47. "Completeness Proofs for the Systems RM3 and BN4", Logique et Analyse, Vol. 25 (1982), pp. 9-32. "A Course on Relevant Logics for Students with a Classical Background", Australian Logic Teachers' Journal, Vol. 7 (1983), pp. 29-47. "The Simple Consistency of a Set Theory Based on the Logic CSQ", Notre Dame Journal of Formal Logic, Vol. 24 (1983), pp. 431-449. "Depth Relevance of Some Paraconsistent Logics", Studia Logica, Vol. 43 (1984), pp. 63-73. (With R.K. Meyer and S. Giambrone ) "Where Gamma Fails", Studia Logica, Vol. 43 (1984), pp. 247-256. "Reply to Priest on Berry 's Paradox", Philosophical Quarterly, Vol. 34 (1984), pp. 157-163. "Natural Deduction Systems for Some Quantified Relevant Logics", Logique et Analyse, Vol. 27 (1984), pp. 355-377. "A Content Semantics for Quantified Relevant Logics I", Studia Logica, Vol. 47 (1988), pp. 111-127. (Presented: AAL (Auckland), 1986). "A Content Semantics for Quantified Relevant Logics II", Studia Logica, Vol. 48 (1989), pp. 243-257. (Presented: AAL (Auckland), 1986). "A Routley-Meyer Affixing Style Semantics for Logics Containing Aristotle's Thesis", Studia Logica, Vol. 48 (1989), pp. 235-241. (With R. Routley) "The Non-Triviality of Extensional Dialectical Set Theory", in Paraconsistent Logic (ed. by G. Priest, R. Routley and J. Norman ), Philosophia Verlag, Munich , 1989, pp. 415-436. "The Non-Triviality of Dialectical Set Theory" in Paraconsistent Logic (ed. by G. Priest, R. Routley and J. Norman), Philosophia Verlag, Munich, 1989, pp. 437-471. "The Gentzenization and Decidability of RW", Journal of Philosophical Logic, Vol. 19 (1990), pp. 35-73. "Gentzenization and Decidability of Some Contraction-less Relevant Logics", Journal of Philosophical Logic, Vol. 20 (1991), pp. 97-117. "Hierarchical Semantics for Relevant Logics", Journal of Philosophical Logic, Vol. 21 (1992), pp. 357-374. "Simplified Gentzenizations for Contraction-less Logics", Logique et Analyse, special issue, Vol. 137-8 (1992), pp. 45-67. "Rules in Relevant Logic - II: Formula Representation", Studia Logica, Vol. 52 (1993), pp. 565-585. "Rules in Relevant Logic - I: Semantic Classification", Journal of Philosophical Logic, Vol. 23 (1994), pp. 111-137. "Relevant Implication and the Case for a Weaker Logic", Journal of Philosophical Logic, Vol. 25 (1996), pp. 151-183. "Gentzenizations of Relevant Logics Without Distribution - I", Journal of Symbolic Logic, Vol. 61 (1996), pp. 353-378. "Gentzenizations of Relevant Logics Without Distribution - II", Journal of Symbolic Logic, Vol. 61 (1996), pp. 379-401. "Gentzenizations of Relevant Logics with Distribution", Journal of Symbolic Logic, Vol. 61 (1996), pp. 402-420. "Simple Gentzenizations for the Normal Formulae of Contraction-less Logics", Journal of Symbolic Logic, Vol. 61 (1996), pp. 1321-1346. "Entailment, Negation and Paradox Solution", in Frontiers of Paraconsistent Logic, ed. by D. Batens, C. Mortensen, G. Priest, J.-P. van Bendegem, Research Studies Press, Baldock, 2000, pp. 113-135. "Restricted Quantification in Relevant Logic", Conference Proceedings for the Australasian Workshop in Computational Logic, A.N.U., 2000, pp. 145-157. (also in Ch. 13, RLR2)
Page maintained by: Administrative Assistant Last Updated: 23 August, 2006 |