Ross T. Brady

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.
FLAP, 2017

Metavaluations.
Bull. Symb. Log., 2017

2014
The Simple Consistency of Naive Set Theory using Metavaluations.
J. Philos. Log., 2014

2013
Distribution in the Logic of Meaning Containment and in Quantum Mechanics.
Proceedings of the Paraconsistency: Logic and Applications, 2013

2012
On the Ternary Relation and Conditionality.
J. Philos. Log., 2012

2010
Free Semantics.
J. Philos. Log., 2010

2009
Four Basic Logical Issues.
Rev. Symb. Log., 2009

2006
Normalized natural deduction systems for some relevant logics I: The logic DW.
J. Symb. Log., 2006

Relevant Restricted Quantification.
J. Philos. Log., 2006

2002
Ordering Properties for the Routley-Meyer Relation R.
J. Appl. Non Class. Logics, 2002

1996
Simple Gentzenizations for the Normal Formulae of Contraction-Less Logics.
J. Symb. Log., 1996

Gentzenizations of Relevant Logics With Distribution.
J. Symb. Log., 1996

Gentzenizations of Relevant Logics Without Distribution, II.
J. Symb. Log., 1996

Gentzenizations of Relevant Logics Without Distribution, I.
J. Symb. Log., 1996

Relevant implication and the case for a weaker logic.
J. Philos. Log., 1996

1994
Rules in relevant logic - I: Semantic classification.
J. Philos. Log., 1994

1993
Rules in relevant logic-II: formula representation.
Stud Logica, 1993

1992
Hierarchical semantics for relevant logics.
J. Philos. Log., 1992

1991
Gentzenization and decidability of some contraction-less relevant logics.
J. Philos. Log., 1991

1990
The gentzenization and decidability of RW.
J. Philos. Log., 1990

1989
A content semantics for quantified relevant logics. II.
Stud Logica, 1989

A Routley-Meyer affixing style semantics for logics containing Aristotle's Thesis.
Stud Logica, 1989

1988
A content semantics for quantified relevant logics. I.
Stud Logica, 1988

1983
The simple consistency of a set theory based on the logic CSQ.
Notre Dame J. Formal Log., 1983

1980
A theory of classes and individuals based on a 3-valued significance logic.
Notre Dame J. Formal Log., 1980

Significance range theory.
Notre Dame J. Formal Log., 1980

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

1976
Significance logics.
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.
Notre Dame J. Formal Log., 1972

1971
The consistency of the axioms of abstraction and extensionality in a three-valued logic.
Notre Dame J. Formal Log., 1971


  Loading...