selected publications
-
academic article
-
Standefer SBrady RT. Natural Deduction Systems for E.
Logique et Analyse.
242:163-182.
2018
Full text if available -
Brady R. Starting the Dismantling of Classical Mathematics.
The Australasian Journal of Logic.
15:280-300.
2018
Full text if available -
Brady RT. Metavaluations.
The Bulletin of Symbolic Logic.
23:296-323.
2017
Full text if available -
Brady R. Some concerns regarding ternary-relation semantics and truth-theoretic semantics in general.
IfCoLog Journal of Logics and their Applications.
4:755-781.
2017
-
Brady RT. The use of definitions and their logical representation in paradox derivation.
Synthese.
2017
Full text if available -
Brady RT. The simple consistency of naive set theory using metavaluations.
Journal of Philosophical Logic.
43:261-281.
2014
Full text if available -
Brady RT. The consistency of arithmetic, based on a logic of meaning containment.
Logique et Analyse.
55:353-383.
2012
-
Beall JBrady RDunn JMHazen APMares EMeyer RKPriest GRestall GRipley DSlaney JSylvan R. On the Ternary Relation and Conditionality.
Journal of Philosophical Logic.
41:595-612.
2012
Full text if available -
Brady RT. Free Semantics.
Journal of Philosophical Logic.
39:511-529.
2010
Full text if available -
Brady R. The 2009 Annual Conference of the Australasian Association for Logic.
The Bulletin of Symbolic Logic.
16:445-449.
2010
Full text if available -
Brady R. On Preserving: Essays on Preservationism and Paraconsistent Logic * Edited By PETER SCHOTCH, BRYSON BROWN AND RAYMOND JENNINGS.
Analysis.
70:382-383.
2010
Full text if available -
Brady RT. Extending Metacompleteness to Systems with Classical Formulae.
The Australasian Journal of Logic.
8:9-30.
2010
-
Brady R. Extending Metacompleteness to Systems with Classical Formulae : in honour of Robert K. Meyer..
The Australasian Journal of Logic.
8:9-30.
2010
-
BRADY RRUSH P. FOUR BASIC LOGICAL ISSUES.
Review of Symbolic Logic.
2:488-488.
2009
Full text if available -
Brady RRush P. What is wrong with Cantor's diagonal argument?.
Logique et Analyse.
51:185-219.
2008
-
Brady RT. Negation in metacomplete relevant logics.
Logique et Analyse.
51:331-354.
2008
-
Brady RT. A Rejection System for the First-Degree Formulae of some Relevant Logics.
The Australasian Journal of Logic.
6:55-69.
2008
-
Beall JCBrady RTHazen APPriest GRestall G. Relevant Restricted Quantification.
Journal of Philosophical Logic.
35:587-598.
2006
Full text if available -
Brady RT. Normalized natural deduction systems for some relevant logics I: The logic DW.
The Journal of Symbolic Logic.
71:35-66.
2006
Full text if available -
Brady R. Semantic Decision Procedures for Some Relevant Logics.
The Australasian Journal of Logic.
1:4-27.
2003
-
Brady R. Ordering Properties for the Routley-Meyer Relation R.
Journal of Applied Non Classical Logics.
12:85-98.
2002
-
Brady RT. Simple Gentzenizations for the normal formulae of contraction-less logics.
The Journal of Symbolic Logic.
61:1321-1346.
1996
Full text if available -
Brady RT. Gentzenizations of relevant logics with distribution.
The Journal of Symbolic Logic.
61:402-420.
1996
Full text if available -
Brady RT. Gentzenizations of relevant logics without distribution. I.
The Journal of Symbolic Logic.
61:353-378.
1996
Full text if available -
Brady RT. Gentzenizations of relevant logics without distribution. II.
The Journal of Symbolic Logic.
61:379-401.
1996
Full text if available -
Brady R. Relevant implication and the case for a weaker logic.
Journal of Philosophical Logic.
25:151-183.
1996
Full text if available -
Brady RT. Rules in relevant logic - I: Semantic classification.
Journal of Philosophical Logic.
23:111-137.
1994
Full text if available -
Brady RT. Rules in relevant logic ? II: Formula representation.
Studia Logica: an international journal for symbolic logic.
52:565-585.
1993
Full text if available -
Brady R. Hierarchical semantics for relevant logics.
Journal of Philosophical Logic.
21:357-374.
1992
Full text if available -
Brady RT. Gentzenization and decidability of some contraction-less relevant logics.
Journal of Philosophical Logic.
20:97-117.
1991
Full text if available -
Brady R. The gentzenization and decidability of RW.
Journal of Philosophical Logic.
19:35-73.
1990
Full text if available -
Brady RT. A Routley-Meyer affixing style semantics for logics containing Aristotle's Thesis.
Studia Logica: an international journal for symbolic logic.
48:235-241.
1989
Full text if available -
Brady RT. A content semantics for quantified relevant logics. II.
Studia Logica: an international journal for symbolic logic.
48:243-257.
1989
Full text if available -
Brady RT. A content semantics for quantified relevant logics. I.
Studia Logica: an international journal for symbolic logic.
47:111-127.
1988
Full text if available -
Meyer RKGiambrone SBrady RT. Where gamma fails.
Studia Logica: an international journal for symbolic logic.
43:247-256.
1984
Full text if available -
Brady RT. Reply to Priest on Berry's Paradox.
The Philosophical Quarterly.
34:157-157.
1984
Full text if available -
Brady RT. Depth relevance of some paraconsistent logics.
Studia Logica: an international journal for symbolic logic.
43:63-73.
1984
Full text if available -
Brady RT. The simple consistency of a set theory based on the logic ${\rm CSQ}$..
Notre Dame Journal of Formal Logic.
24:431-449.
1983
Full text if available -
Brady RT. A theory of classes and individuals based on a $3$-valued significance logic..
Notre Dame Journal of Formal Logic.
21:385-414.
1980
Full text if available -
Brady RT. Significance range theory..
Notre Dame Journal of Formal Logic.
21:319-345.
1980
Full text if available -
Brady RT. Two remarks on: The logic of significance and context. Vol. I [Halsted, New York, 1973]..
Notre Dame Journal of Formal Logic.
21:263-272.
1980
Full text if available -
Brady RT. Significance logics..
Notre Dame Journal of Formal Logic.
17:161-183.
1976
Full text if available -
Brady RRoutley R. Don't care was made to care.
Australasian Journal of Philosophy.
51:211-225.
1973
Full text if available -
Brady RT. 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.
13:161-176.
1972
Full text if available -
Brady RT. The consistency of the axioms of abstraction and extensionality in a three-valued logic..
Notre Dame Journal of Formal Logic.
12:447-453.
1971
Full text if available
-
Standefer SBrady RT. Natural Deduction Systems for E.
Logique et Analyse.
242:163-182.
2018
-
book
-
Brady R. Universal Logic.
2006
-
Brady R. Universal Logic.
2006
-
chapter
-
Brady RT. The Number of Logical Values.
21-37.
2019
Full text if available -
Brady RTRoutley R. Ultralogic as Universal?.
1-205.
2019
Full text if available -
Brady RT. Comparing Contents with Information.
147-159.
2016
Full text if available -
Brady RTMortensen C. Logic.
679-706.
2014
Full text if available -
Brady RTMeinander A. Distribution in the Logic of Meaning Containment and in Quantum Mechanics.
223-255.
2013
Full text if available -
Brady R. Metavaluations, naive set theory and inconsistency.
339-360.
2011
-
Brady R. Australasian Association for Logic.
48-49.
2010
-
Brady R. Entailment Logic - A Blueprint.
127-151.
2007
-
Brady RT. On the Formalization of the Law of Non-Contradiction *.
41-48.
2004
Full text if available -
Brady R. On Quantified Relevant Logics.
309-351.
2003
-
Brady R. Recent Developments I.
192-207.
2003
-
Brady R. Recent Developments II.
231-308.
2003
-
Sylvan RMeyer RBrady RMortensen CPlumwood V. The Algebraic Analysis of Relevant Affixing Systems.
72-140.
2003
-
Brady RT. The Number of Logical Values.
21-37.
2019
-
conference paper
-
Brady RT. Logic - The big picture.
Springer Proceedings in Mathematics and Statistics.
353-373.
2015
Full text if available -
Brady R. Entailment, Negation and Paradox Solution
2000
-
Brady RT. Logic - The big picture.
Springer Proceedings in Mathematics and Statistics.
353-373.
2015