Ross T. Brady

37 papers Journal 36
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Normalized Natural Deduction System for the Logic MC.
Australas. J. Log.
Ross T. Brady
2024 J jnl
The Law of Excluded Middle and Berry's Paradox... Finally.
Australas. J. Log.
Ross T. Brady
2023 J jnl
In Support of Valerie Plumwood.
Australas. J. Log.
Ross T. Brady
2021 J jnl
Arithmetic Formulated in a Logic of Meaning Containment.
Australas. J. Log.
Ross T. Brady
2018 J jnl
Starting the Dismantling of Classical Mathematics.
Australas. J. Log.
Ross T. Brady
2017 J jnl
Metavaluations.
Bull. Symb. Log.
Ross T. Brady
2017 J jnl
Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.
FLAP
Ross T. Brady
2014 J jnl
The Simple Consistency of Naive Set Theory using Metavaluations.
J. Philos. Log.
Ross T. Brady
2013 — ch.
Distribution in the Logic of Meaning Containment and in Quantum Mechanics.
Paraconsistency: Logic and Applications
Ross T. Brady, Andrea Meinander
2012 J jnl
On the Ternary Relation and Conditionality.
J. Philos. Log.
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
2010 J jnl
Extending Metacompleteness to Systems with Classical Formulae.
Australas. J. Log.
Ross T. Brady
2009 J jnl
Four Basic Logical Issues.
Rev. Symb. Log.
Ross T. Brady, Penelope Rush
2008 J jnl
A Rejection System for the First-Degree Formulae of some Relevant Logics.
Australas. J. Log.
Ross T. Brady
2006 J jnl
Normalized natural deduction systems for some relevant logics I: The logic DW.
J. Symb. Log.
Ross T. Brady
2006 J jnl
Relevant Restricted Quantification.
J. Philos. Log.
J. C. Beall, Ross T. Brady, Allen Hazen, Graham Priest, Greg Restall
2003 J jnl
Semantic Decision Procedures for Some Relevant Logics.
Australas. J. Log.
Ross T. Brady
2002 J jnl
Ordering Properties for the Routley-Meyer Relation R.
J. Appl. Non Class. Logics
Ross T. Brady
1996 J jnl
Gentzenizations of Relevant Logics With Distribution.
J. Symb. Log.
Ross T. Brady
1996 J jnl
Gentzenizations of Relevant Logics Without Distribution, I.
J. Symb. Log.
Ross T. Brady
1996 J jnl
Gentzenizations of Relevant Logics Without Distribution, II.
J. Symb. Log.
Ross T. Brady
1996 J jnl
Relevant implication and the case for a weaker logic.
J. Philos. Log.
Ross T. Brady
1996 J jnl
Simple Gentzenizations for the Normal Formulae of Contraction-Less Logics.
J. Symb. Log.
Ross T. Brady
1994 J jnl
Rules in relevant logic - I: Semantic classification.
J. Philos. Log.
Ross T. Brady
1993 J jnl
Rules in relevant logic-II: formula representation.
Stud Logica
Ross T. Brady
1992 J jnl
Hierarchical semantics for relevant logics.
J. Philos. Log.
Ross T. Brady
1991 J jnl
Gentzenization and decidability of some contraction-less relevant logics.
J. Philos. Log.
Ross T. Brady
1990 J jnl
The gentzenization and decidability of RW.
J. Philos. Log.
Ross T. Brady
1989 J jnl
A Routley-Meyer affixing style semantics for logics containing Aristotle's Thesis.
Stud Logica
Ross T. Brady
1989 J jnl
A content semantics for quantified relevant logics. II.
Stud Logica
Ross T. Brady
1988 J jnl
A content semantics for quantified relevant logics. I.
Stud Logica
Ross T. Brady
1983 J jnl
The simple consistency of a set theory based on the logic CSQ.
Notre Dame J. Formal Log.
Ross T. Brady
1980 J jnl
A theory of classes and individuals based on a 3-valued significance logic.
Notre Dame J. Formal Log.
Ross T. Brady
1980 J jnl
Significance range theory.
Notre Dame J. Formal Log.
Ross T. Brady
1980 J jnl
Two remarks on:
Notre Dame J. Formal Log.
Ross T. Brady
1976 J jnl
Significance logics.
Notre Dame J. Formal Log.
Ross T. Brady
1972 J jnl
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.
Notre Dame J. Formal Log.
Ross T. Brady
1971 J jnl
The consistency of the axioms of abstraction and extensionality in a three-valued logic.
Notre Dame J. Formal Log.
Ross T. Brady