Ross T. Brady
Ross Thomas Brady
La Trobe University, Melbourne, VIC, Australia
University of St. Andrews, St. Andrews, UK
https://scholars.latrobe.edu.au/rtbrady
https://orcid.org/0000-0001-8218-4277
https://www.wikidata.org/entity/Q110173955
Ross T. Brady
A Normalized Natural Deduction System for the Logic MC.
643-683
2025
22
Australas. J. Log.
5
https://doi.org/10.26686/ajl.v22i5.8947
db/journals/auasjlog/auasjlog22.html#Brady25
streams/journals/auasjlog
Ross T. Brady
The Law of Excluded Middle and Berry's Paradox... Finally.
100-122
2024
21
Australas. J. Log.
3
https://doi.org/10.26686/ajl.v21i3.8292
db/journals/auasjlog/auasjlog21.html#Brady24
streams/journals/auasjlog
Ross T. Brady
In Support of Valerie Plumwood.
219-242
2023
20
Australas. J. Log.
2
https://doi.org/10.26686/ajl.v29i2.8287
db/journals/auasjlog/auasjlog20.html#Brady23
streams/journals/auasjlog
Ross T. Brady
Arithmetic Formulated in a Logic of Meaning Containment.
447-472
2021
18
Australas. J. Log.
5
https://doi.org/10.26686/ajl.v18i5.6920
db/journals/auasjlog/auasjlog18.html#Brady21
streams/journals/auasjlog
Ross T. Brady
Starting the Dismantling of Classical Mathematics.
280-300
2018
15
Australas. J. Log.
2
https://doi.org/10.26686/ajl.v15i2.4863
db/journals/auasjlog/auasjlog15.html#Brady18
Ross T. Brady
Metavaluations.
296-323
2017
23
Bull. Symb. Log.
3
https://doi.org/10.1017/bsl.2017.29
db/journals/bsl/bsl23.html#Brady17
Ross T. Brady
Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.
2017
4
FLAP
3
http://www.collegepublications.co.uk/downloads/ifcolog00012.pdf
db/journals/flap/flap4.html#Brady17
Ross T. Brady
The Simple Consistency of Naive Set Theory using Metavaluations.
261-281
2014
43
J. Philos. Log.
2-3
https://doi.org/10.1007/s10992-012-9262-2
db/journals/jphil/jphil43.html#Brady14
Ross T. Brady
Andrea Meinander
Distribution in the Logic of Meaning Containment and in Quantum Mechanics.
223-255
2013
Paraconsistency: Logic and Applications
https://doi.org/10.1007/978-94-007-4438-7_13
series/leus/Tanaka13
db/series/leus/leus26.html#BradyM13
J. C. Beall
Ross T. Brady
J. Michael Dunn
Allen Hazen
Edwin D. Mares
Robert K. Meyer
Graham Priest
Greg Restall
David Ripley
John K. Slaney
Richard Sylvan
On the Ternary Relation and Conditionality.
595-612
2012
41
J. Philos. Log.
3
https://doi.org/10.1007/s10992-011-9191-5
db/journals/jphil/jphil41.html#BeallBDHMMPRRSS12
Ross T. Brady
Extending Metacompleteness to Systems with Classical Formulae.
2010
8
Australas. J. Log.
https://doi.org/10.26686/ajl.v8i0.1811
db/journals/auasjlog/auasjlog8.html#Brady10
Ross Thomas Brady
Free Semantics.
511-529
2010
39
J. Philos. Log.
5
https://doi.org/10.1007/s10992-010-9129-3
db/journals/jphil/jphil39.html#Brady10
Ross T. Brady
Penelope Rush
Four Basic Logical Issues.
488-508
2009
2
Rev. Symb. Log.
3
https://doi.org/10.1017/S1755020309990219
db/journals/rsl/rsl2.html#BradyR09
Ross T. Brady
A Rejection System for the First-Degree Formulae of some Relevant Logics.
2008
6
Australas. J. Log.
https://doi.org/10.26686/ajl.v6i0.1793
db/journals/auasjlog/auasjlog6.html#Brady08
J. C. Beall
Ross T. Brady
Allen Hazen
Graham Priest
Greg Restall
Relevant Restricted Quantification.
587-598
2006
35
J. Philos. Log.
6
https://doi.org/10.1007/s10992-005-9008-5
https://www.wikidata.org/entity/Q30052919
db/journals/jphil/jphil35.html#BeallBHPR06
Ross T. Brady
Normalized natural deduction systems for some relevant logics I: The logic DW.
35-66
2006
71
J. Symb. Log.
1
https://doi.org/10.2178/jsl/1140641162
http://projecteuclid.org/euclid.jsl/1140641162
db/journals/jsyml/jsyml71.html#Brady06
Ross T. Brady
Semantic Decision Procedures for Some Relevant Logics.
2003
1
Australas. J. Log.
https://doi.org/10.26686/ajl.v1i0.1760
db/journals/auasjlog/auasjlog1.html#Brady03
Ross T. Brady
Ordering Properties for the Routley-Meyer Relation R.
85-98
2002
12
J. Appl. Non Class. Logics
1
db/journals/jancl/jancl12.html#Brady02
Ross T. Brady
Relevant implication and the case for a weaker logic.
151-183
1996
25
J. Philos. Log.
2
https://doi.org/10.1007/BF00247002
db/journals/jphil/jphil25.html#Brady96
Ross T. Brady
Gentzenizations of Relevant Logics Without Distribution, I.
353-378
1996
61
J. Symb. Log.
2
db/journals/jsyml/jsyml61.html#Brady96
https://doi.org/10.2307/2275666
http://projecteuclid.org/euclid.jsl/1183745005
Ross T. Brady
Gentzenizations of Relevant Logics Without Distribution, II.
379-401
1996
61
J. Symb. Log.
2
db/journals/jsyml/jsyml61.html#Brady96a
https://doi.org/10.2307/2275667
http://projecteuclid.org/euclid.jsl/1183745006
Ross T. Brady
Gentzenizations of Relevant Logics With Distribution.
402-420
1996
61
J. Symb. Log.
2
db/journals/jsyml/jsyml61.html#Brady96b
https://doi.org/10.2307/2275668
http://projecteuclid.org/euclid.jsl/1183745007
Ross T. Brady
Simple Gentzenizations for the Normal Formulae of Contraction-Less Logics.
1321-1346
1996
61
J. Symb. Log.
4
db/journals/jsyml/jsyml61.html#Brady96c
https://doi.org/10.2307/2275819
http://projecteuclid.org/euclid.jsl/1183745138
Ross T. Brady
Rules in relevant logic - I: Semantic classification.
111-137
1994
23
J. Philos. Log.
2
https://doi.org/10.1007/BF01050340
db/journals/jphil/jphil23.html#Brady94
Ross T. Brady
Rules in relevant logic-II: formula representation.
565-586
1993
52
Stud Logica
4
db/journals/sLogica/sLogica52.html#Brady93
https://doi.org/10.1007/BF01053260
Ross T. Brady
Hierarchical semantics for relevant logics.
357-374
1992
21
J. Philos. Log.
4
https://doi.org/10.1007/BF00260741
db/journals/jphil/jphil21.html#Brady92
Ross T. Brady
Gentzenization and decidability of some contraction-less relevant logics.
97-117
1991
20
J. Philos. Log.
1
https://doi.org/10.1007/BF00454743
db/journals/jphil/jphil20.html#Brady91
Ross T. Brady
The gentzenization and decidability of RW.
35-73
1990
19
J. Philos. Log.
1
https://doi.org/10.1007/BF00211185
db/journals/jphil/jphil19.html#Brady90
Ross T. Brady
A Routley-Meyer affixing style semantics for logics containing Aristotle's Thesis.
235-241
1989
48
Stud Logica
2
https://doi.org/10.1007/BF02770514
db/journals/sLogica/sLogica48.html#Brady89
Ross T. Brady
A content semantics for quantified relevant logics. II.
243-257
1989
48
Stud Logica
2
https://doi.org/10.1007/BF02770515
db/journals/sLogica/sLogica48.html#Brady89a
Ross T. Brady
A content semantics for quantified relevant logics. I.
111-127
1988
47
Stud Logica
2
https://doi.org/10.1007/BF00370286
db/journals/sLogica/sLogica47.html#Brady88
Ross T. Brady
The simple consistency of a set theory based on the logic CSQ.
431-449
1983
24
Notre Dame J. Formal Log.
4
https://doi.org/10.1305/ndjfl/1093870447
db/journals/ndjfl/ndjfl24.html#Brady83
Ross T. Brady
Two remarks on: <i>The logic of significance and context. Vol. I</i> [Halsted, New York, 1973].
263-272
1980
21
Notre Dame J. Formal Log.
2
https://doi.org/10.1305/ndjfl/1093883045
db/journals/ndjfl/ndjfl21.html#Brady80
Ross T. Brady
Significance range theory.
319-345
1980
21
Notre Dame J. Formal Log.
2
https://doi.org/10.1305/ndjfl/1093883050
db/journals/ndjfl/ndjfl21.html#Brady80a
Ross T. Brady
A theory of classes and individuals based on a 3-valued significance logic.
385-414
1980
21
Notre Dame J. Formal Log.
2
https://doi.org/10.1305/ndjfl/1093883055
db/journals/ndjfl/ndjfl21.html#Brady80b
Ross T. Brady
Significance logics.
161-183
1976
17
Notre Dame J. Formal Log.
2
https://doi.org/10.1305/ndjfl/1093887521
db/journals/ndjfl/ndjfl17.html#Brady76
Ross T. Brady
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.
161-176
1972
13
Notre Dame J. Formal Log.
2
https://doi.org/10.1305/ndjfl/1093894712
https://www.wikidata.org/entity/Q114598208
db/journals/ndjfl/ndjfl13.html#Brady72
Ross T. Brady
The consistency of the axioms of abstraction and extensionality in a three-valued logic.
447-453
1971
12
Notre Dame J. Formal Log.
4
https://doi.org/10.1305/ndjfl/1093894366
https://www.wikidata.org/entity/Q114598211
db/journals/ndjfl/ndjfl12.html#Brady71
J. C. Beall
J. Michael Dunn
Allen P. HazenAllen Hazen
Edwin D. Mares
Andrea Meinander
Robert K. Meyer
Graham Priest
Greg Restall
David Ripley
Penelope Rush
John K. Slaney
Richard Sylvan