We stand with Ukraine  

Ross T. Brady

Affiliations:
  • La Trobe University, Melbourne, VIC, Australia
  • University of St. Andrews, St. Andrews, UK (PhD)


According to our database1, Ross T. Brady authored at least 38 papers between 1971 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
A Normalized Natural Deduction System for the Logic MC.
[BibTeX]
[DOI]
Ross T. Brady
Australas. J. Log., 2025

2024
The Law of Excluded Middle and Berry's Paradox... Finally.
[BibTeX]
[DOI]
Ross T. Brady
Australas. J. Log., 2024

2023
In Support of Valerie Plumwood.
[BibTeX]
[DOI]
Ross T. Brady
Australas. J. Log., 2023

2021
Arithmetic Formulated in a Logic of Meaning Containment.
[BibTeX]
[DOI]
Ross T. Brady
Australas. J. Log., 2021

2018
Starting the Dismantling of Classical Mathematics.
[BibTeX]
[DOI]
Ross T. Brady
Australas. J. Log., 2018

2017
Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.
[BibTeX]
[DOI]
Ross T. Brady
FLAP, 2017

Metavaluations.
[BibTeX]
[DOI]
Ross T. Brady
Bull. Symb. Log., 2017

2014
The Simple Consistency of Naive Set Theory using Metavaluations.
[BibTeX]
[DOI]
Ross T. Brady
J. Philos. Log., 2014

2013
Distribution in the Logic of Meaning Containment and in Quantum Mechanics.
[BibTeX]
[DOI]
Ross T. Brady
,
Andrea Meinander
Proceedings of the Paraconsistency: Logic and Applications, 2013

2012
On the Ternary Relation and Conditionality.
[BibTeX]
[DOI]
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
J. Philos. Log., 2012

2010
Free Semantics.
[BibTeX]
[DOI]
Ross Thomas Brady
J. Philos. Log., 2010

Extending Metacompleteness to Systems with Classical Formulae.
[BibTeX]
[DOI]
Ross T. Brady
Australas. J. Log., 2010

2009
Four Basic Logical Issues.
[BibTeX]
[DOI]
Ross T. Brady
,
Penelope Rush
Rev. Symb. Log., 2009

2008
A Rejection System for the First-Degree Formulae of some Relevant Logics.
[BibTeX]
[DOI]
Ross T. Brady
Australas. J. Log., 2008

2006
Normalized natural deduction systems for some relevant logics I: The logic DW.
[BibTeX]
[DOI]
Ross T. Brady
J. Symb. Log., 2006

Relevant Restricted Quantification.
[BibTeX]
[DOI]
J. C. Beall
,
Ross T. Brady
,
Allen Hazen
,
Graham Priest
,
Greg Restall
J. Philos. Log., 2006

2003
Semantic Decision Procedures for Some Relevant Logics.
[BibTeX]
[DOI]
Ross T. Brady
Australas. J. Log., 2003

2002
Ordering Properties for the Routley-Meyer Relation R.
[BibTeX]
Ross T. Brady
J. Appl. Non Class. Logics, 2002

1996
Simple Gentzenizations for the Normal Formulae of Contraction-Less Logics.
[BibTeX]
[DOI]
Ross T. Brady
J. Symb. Log., 1996

Gentzenizations of Relevant Logics With Distribution.
[BibTeX]
[DOI]
Ross T. Brady
J. Symb. Log., 1996

Gentzenizations of Relevant Logics Without Distribution, II.
[BibTeX]
[DOI]
Ross T. Brady
J. Symb. Log., 1996

Gentzenizations of Relevant Logics Without Distribution, I.
[BibTeX]
[DOI]
Ross T. Brady
J. Symb. Log., 1996

Relevant implication and the case for a weaker logic.
[BibTeX]
[DOI]
Ross T. Brady
J. Philos. Log., 1996

1994
Rules in relevant logic - I: Semantic classification.
[BibTeX]
[DOI]
Ross T. Brady
J. Philos. Log., 1994

1993
Rules in relevant logic-II: formula representation.
[BibTeX]
[DOI]
Ross T. Brady
Stud Logica, 1993

1992
Hierarchical semantics for relevant logics.
[BibTeX]
[DOI]
Ross T. Brady
J. Philos. Log., 1992

1991
Gentzenization and decidability of some contraction-less relevant logics.
[BibTeX]
[DOI]
Ross T. Brady
J. Philos. Log., 1991

1990
The gentzenization and decidability of RW.
[BibTeX]
[DOI]
Ross T. Brady
J. Philos. Log., 1990

1989
A content semantics for quantified relevant logics. II.
[BibTeX]
[DOI]
Ross T. Brady
Stud Logica, 1989

A Routley-Meyer affixing style semantics for logics containing Aristotle's Thesis.
[BibTeX]
[DOI]
Ross T. Brady
Stud Logica, 1989

1988
A content semantics for quantified relevant logics. I.
[BibTeX]
[DOI]
Ross T. Brady
Stud Logica, 1988

1983
The simple consistency of a set theory based on the logic CSQ.
[BibTeX]
[DOI]
Ross T. Brady
Notre Dame J. Formal Log., 1983

1980
A theory of classes and individuals based on a 3-valued significance logic.
[BibTeX]
[DOI]
Ross T. Brady
Notre Dame J. Formal Log., 1980

Significance range theory.
[BibTeX]
[DOI]
Ross T. Brady
Notre Dame J. Formal Log., 1980

Two remarks on: <i>The logic of significance and context. Vol. I</i> [Halsted, New York, 1973].
[BibTeX]
[DOI]
Ross T. Brady
Notre Dame J. Formal Log., 1980

1976
Significance logics.
[BibTeX]
[DOI]
Ross T. Brady
Notre Dame J. Formal Log., 1976

1972
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.
[BibTeX]
[DOI]
Ross T. Brady
Notre Dame J. Formal Log., 1972

1971
The consistency of the axioms of abstraction and extensionality in a three-valued logic.
[BibTeX]
[DOI]
Ross T. Brady
Notre Dame J. Formal Log., 1971


  Loading...