×

zbMATH — the first resource for mathematics

Brady, Ross Thomas

Compute Distance To:
Author ID: brady.ross-thomas Recent zbMATH articles by "Brady, Ross Thomas"
Published as: Brady, Ross T.; Brady, Ross; Brady, R. T.; Brady, Ross Thomas
Documents Indexed: 60 Publications since 1970, including 3 Books

Publications by Year

Citations contained in zbMATH Open

43 Publications have been cited 331 times in 184 Documents Cited by Year
Relevant logics and their rivals. Part I: The basic philosophical and semantical theory. Zbl 0579.03011
Routley, Richard; Plumwood, Val; Meyer, Robert K.; Brady, Ross T.
82
1982
Completeness proofs for the systems RM3 and BN4. Zbl 0498.03012
Brady, Ross T.
24
1982
Universal logic. Zbl 1234.03010
Brady, Ross
20
2006
Relevant restricted quantification. Zbl 1111.03020
Beall, Jc; Brady, Ross T.; Hazen, A. P.; Priest, Graham; Restall, Greg
17
2006
The non-triviality of dialectical set theory. Zbl 0691.03038
Brady, R. T.
14
1989
The Gentzenization and decidability of RW. Zbl 0697.03006
Brady, Ross T.
14
1990
On the ternary relation and conditionality. Zbl 1260.03049
Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard
13
2012
Depth relevance of some paraconsistent logics. Zbl 0581.03014
Brady, Ross T.
13
1984
The simple consistency of a set theory based on the logic CSQ. Zbl 0488.03026
Brady, Ross T.
12
1983
Gentzenization and decidability of some contraction-less relevant logics. Zbl 0725.03007
Brady, Ross T.
12
1991
Where gamma fails. Zbl 0586.03016
Meyer, Robert K.; Giambrone, Steve; Brady, Ross T.
9
1984
Relevant implication and the case for a weaker logic. Zbl 0873.03026
Brady, Ross T.
9
1996
Natural deduction systems for some quantified relevant logics. Zbl 0559.03011
Brady, Ross T.
9
1984
Semantic decision procedures for some relevant logics. Zbl 1044.03014
Brady, Ross
7
2003
Relevant logics and their rivals. Vol. II. A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady. Edited by Ross Brady. Zbl 1398.03011
Sylvan, Richard; Meyer, Robert K.; Plumwood, Val; Brady, Ross T.
6
2003
Normalized natural deduction systems for some relevant logics. I: The logic DW. Zbl 1103.03022
Brady, Ross T.
5
2006
Gentzenizations of relevant logics without distribution. I. Zbl 0862.03012
Brady, Ross T.
5
1996
The simple consistency of naive set theory using metavaluations. Zbl 1343.03003
Brady, Ross T.
5
2014
Free semantics. Zbl 1207.03029
Brady, Ross Thomas
4
2010
Distribution in the logic of meaning containment and in quantum mechanics. Zbl 1261.03023
Brady, Ross T.; Meinander, Andrea
4
2013
The consistency of arithmetic, based on a logic of meaning containment. Zbl 1336.03006
Brady, Ross T.
4
2012
Negation in metacomplete relevant logics. Zbl 1233.03030
Brady, Ross T.
3
2008
Gentzenizations of relevant logics without distribution. II. Zbl 0862.03013
Brady, Ross T.
3
1996
A content semantics for quantified relevant logics. I. Zbl 0666.03017
Brady, Ross T.
3
1988
A Routley-Meyer affixing style semantics for logics containing Aristotle’s thesis. Zbl 0688.03013
Brady, Ross T.
3
1989
The non-triviality of extensional dialectical set theory. Zbl 0691.03037
Brady, R. T.; Routley, R.
3
1989
A content semantics for quantified relevant logics. II. Zbl 0696.03003
Brady, Ross T.
3
1989
Entailment logic – a blueprint. Zbl 1230.03053
Brady, Ross
3
2007
Rules in relevant logic. I: Semantic classification. Zbl 0807.03008
Brady, Ross T.
3
1994
Hierarchical semantics for relevant logics. Zbl 0770.03008
Brady, Ross T.
3
1992
Four basic logical issues. Zbl 1186.03007
Brady, Ross; Rush, Penelope
2
2009
Extending metacompleteness to systems with classical formulae. Zbl 1330.03041
Brady, Ross T.
2
2011
A rejection system for the first-degree formulae of some relevant logics. Zbl 1173.03020
Brady, Ross T.
2
2008
What is wrong with Cantor’s diagonal argument? Zbl 1150.03009
Brady, Ross; Rush, Penelope
1
2008
Entailment, negation and paradox solution. Zbl 0993.03031
Brady, Ross T.
1
2000
On the formalization of the law of non-contradiction. Zbl 1066.03016
Brady, Ross T.
1
2004
The consistency of the axioms of abstraction and extensionality in 3- valued logic. Zbl 0185.01402
Brady, R. T.
1
1970
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in three-valued logic. Zbl 0212.02102
Brady, Ross T.
1
1972
Logic – the big picture. Zbl 1423.03023
Brady, Ross T.
1
2015
Metavaluations. Zbl 1421.03011
Brady, Ross T.
1
2017
Rules in relevant logic. II: Formula representation. Zbl 0807.03009
Brady, Ross T.
1
1993
Significance logics. Zbl 0322.02027
Brady, Ross T.
1
1976
A computer program for determining matrix models of propositional calculi. Zbl 0348.02005
Brady, Ross T.
1
1976
Metavaluations. Zbl 1421.03011
Brady, Ross T.
1
2017
Logic – the big picture. Zbl 1423.03023
Brady, Ross T.
1
2015
The simple consistency of naive set theory using metavaluations. Zbl 1343.03003
Brady, Ross T.
5
2014
Distribution in the logic of meaning containment and in quantum mechanics. Zbl 1261.03023
Brady, Ross T.; Meinander, Andrea
4
2013
On the ternary relation and conditionality. Zbl 1260.03049
Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard
13
2012
The consistency of arithmetic, based on a logic of meaning containment. Zbl 1336.03006
Brady, Ross T.
4
2012
Extending metacompleteness to systems with classical formulae. Zbl 1330.03041
Brady, Ross T.
2
2011
Free semantics. Zbl 1207.03029
Brady, Ross Thomas
4
2010
Four basic logical issues. Zbl 1186.03007
Brady, Ross; Rush, Penelope
2
2009
Negation in metacomplete relevant logics. Zbl 1233.03030
Brady, Ross T.
3
2008
A rejection system for the first-degree formulae of some relevant logics. Zbl 1173.03020
Brady, Ross T.
2
2008
What is wrong with Cantor’s diagonal argument? Zbl 1150.03009
Brady, Ross; Rush, Penelope
1
2008
Entailment logic – a blueprint. Zbl 1230.03053
Brady, Ross
3
2007
Universal logic. Zbl 1234.03010
Brady, Ross
20
2006
Relevant restricted quantification. Zbl 1111.03020
Beall, Jc; Brady, Ross T.; Hazen, A. P.; Priest, Graham; Restall, Greg
17
2006
Normalized natural deduction systems for some relevant logics. I: The logic DW. Zbl 1103.03022
Brady, Ross T.
5
2006
On the formalization of the law of non-contradiction. Zbl 1066.03016
Brady, Ross T.
1
2004
Semantic decision procedures for some relevant logics. Zbl 1044.03014
Brady, Ross
7
2003
Relevant logics and their rivals. Vol. II. A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady. Edited by Ross Brady. Zbl 1398.03011
Sylvan, Richard; Meyer, Robert K.; Plumwood, Val; Brady, Ross T.
6
2003
Entailment, negation and paradox solution. Zbl 0993.03031
Brady, Ross T.
1
2000
Relevant implication and the case for a weaker logic. Zbl 0873.03026
Brady, Ross T.
9
1996
Gentzenizations of relevant logics without distribution. I. Zbl 0862.03012
Brady, Ross T.
5
1996
Gentzenizations of relevant logics without distribution. II. Zbl 0862.03013
Brady, Ross T.
3
1996
Rules in relevant logic. I: Semantic classification. Zbl 0807.03008
Brady, Ross T.
3
1994
Rules in relevant logic. II: Formula representation. Zbl 0807.03009
Brady, Ross T.
1
1993
Hierarchical semantics for relevant logics. Zbl 0770.03008
Brady, Ross T.
3
1992
Gentzenization and decidability of some contraction-less relevant logics. Zbl 0725.03007
Brady, Ross T.
12
1991
The Gentzenization and decidability of RW. Zbl 0697.03006
Brady, Ross T.
14
1990
The non-triviality of dialectical set theory. Zbl 0691.03038
Brady, R. T.
14
1989
A Routley-Meyer affixing style semantics for logics containing Aristotle’s thesis. Zbl 0688.03013
Brady, Ross T.
3
1989
The non-triviality of extensional dialectical set theory. Zbl 0691.03037
Brady, R. T.; Routley, R.
3
1989
A content semantics for quantified relevant logics. II. Zbl 0696.03003
Brady, Ross T.
3
1989
A content semantics for quantified relevant logics. I. Zbl 0666.03017
Brady, Ross T.
3
1988
Depth relevance of some paraconsistent logics. Zbl 0581.03014
Brady, Ross T.
13
1984
Where gamma fails. Zbl 0586.03016
Meyer, Robert K.; Giambrone, Steve; Brady, Ross T.
9
1984
Natural deduction systems for some quantified relevant logics. Zbl 0559.03011
Brady, Ross T.
9
1984
The simple consistency of a set theory based on the logic CSQ. Zbl 0488.03026
Brady, Ross T.
12
1983
Relevant logics and their rivals. Part I: The basic philosophical and semantical theory. Zbl 0579.03011
Routley, Richard; Plumwood, Val; Meyer, Robert K.; Brady, Ross T.
82
1982
Completeness proofs for the systems RM3 and BN4. Zbl 0498.03012
Brady, Ross T.
24
1982
Significance logics. Zbl 0322.02027
Brady, Ross T.
1
1976
A computer program for determining matrix models of propositional calculi. Zbl 0348.02005
Brady, Ross T.
1
1976
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in three-valued logic. Zbl 0212.02102
Brady, Ross T.
1
1972
The consistency of the axioms of abstraction and extensionality in 3- valued logic. Zbl 0185.01402
Brady, R. T.
1
1970
all top 5

Cited by 113 Authors

23 Robles, Gemma
19 Brady, Ross Thomas
9 Priest, Graham
8 Mares, Edwin D.
7 Restall, Greg
7 Weber, Zach
5 Seki, Takahiro
5 Wansing, Heinrich Theodor
4 Dunn, Jon Michael
4 Field, Hartry H.
4 Meyer, Robert Kenneth
4 Raftery, James G.
4 Sylvan, Richard
3 Badia, Guillermo
3 Bimbó, Katalin
3 Kamide, Norihiro
3 Kremer, Philip
3 Maddux, Roger D.
3 Odintsov, Sergei P.
3 Øgaard, Tore Fjetland
3 Ripley, David
3 Salto, Francisco
2 Akama, Seiki
2 Avron, Arnon
2 Bacon, Andrew
2 Batens, Diderik
2 Beall, Jc
2 Carrara, Massimiliano
2 Došen, Kosta
2 Ferguson, Thomas Macaulay
2 Fuhrmann, Andre T.
2 Goble, Lou
2 Hazen, Allen P.
2 Humberstone, Lloyd
2 Lance, Mark Norris
2 McKubre-Jordens, Maarten
2 Mortensen, Chris
2 Pizzi, Claudio E. A.
2 Spinks, Matthew
2 Standefer, Shawn
2 Suzuki, Tomoyuki
2 Verdée, Peter
2 Yang, Eunsuk
2 Zardini, Elia
1 Allo, Patrick
1 Asmus, C. M.
1 Berto, Francesco
1 Bignall, Robert J.
1 Blanco, José M.
1 Blok, Willem Johannes
1 Britz, Katarina
1 Caret, Colin R.
1 Ciucci, Davide
1 Ciuni, Roberto
1 Cotnoir, Aaron J.
1 Da Costa, Newton Carneiro Affonso
1 De Bal, Inge
1 Degauquier, Vincent
1 Dezani-Ciancaglini, Mariangiola
1 Drobyshevich, Sergeĭ Andreevich
1 Dubois, Didier
1 Francez, Nissim
1 Giambrone, Steve
1 Goldblatt, Robert Ian
1 Gupta, Anil Kumar
1 Heidema, Johannes
1 Hoogland, Eva
1 Hornischer, Levin
1 Hsieh, Ai-Ni
1 Hyde, Dominic
1 Ilić, Mirjana
1 Istre, Erik
1 Kapsner, Andreas
1 Kozak, Michał
1 Kramer, Richard L.
1 Libert, Thierry
1 Logan, Shay Allen
1 Loparić, Andréa M.
1 López, Sandra M.
1 Moraschini, Tommaso
1 Motohama, Yoko
1 Murzi, Julien
1 Nolan, Daniel
1 Olson, Jeffrey S.
1 Omori, Hitoshi
1 Orłowska, Ewa S.
1 Paoli, Francesco
1 Paradela, Jesús R.
1 Pelletier, Francis Jeffry
1 Petrukhin, Yaroslav Igorevich
1 Pritchard, Paul A.
1 Pulcini, Gabriele
1 Punčochář, Vít
1 Recio, Marcos M.
1 Rush, Penelope
1 Sagastume, Marta S.
1 San Martín, Hernán J.
1 Sedlár, Igor Igor
1 Shangin, Vasily
1 Shapiro, Lionel
...and 13 more Authors

Citations by Year