dblp.uni-trier.dewww.uni-trier.de

Ross T. Brady

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
6 Ross T. Brady: Ordering Properties for the Routley-Meyer Relation R. Journal of Applied Non-Classical Logics 12(1): 85-98 (2002)
1996
5 Ross T. Brady: Gentzenizations of Relevant Logics Without Distribution, I. J. Symb. Log. 61(2): 353-378 (1996)
4 Ross T. Brady: Gentzenizations of Relevant Logics Without Distribution, II. J. Symb. Log. 61(2): 379-401 (1996)
3 Ross T. Brady: Gentzenizations of Relevant Logics With Distribution. J. Symb. Log. 61(2): 402-420 (1996)
2 Ross T. Brady: Simple Gentzenizations for the Normal Formulae of Contraction-Less Logics. J. Symb. Log. 61(4): 1321-1346 (1996)
1993
1 Ross T. Brady: Rules in relevant logic-II: formula representation. Studia Logica 52(4): 565-586 (1993)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)