Brady, Ross, Philosophy Program, La Trobe University

• The Australasian Journal of Logic Vol. 1 (2003): Australasian Journal of Logic - Articles
  Semantic Decision Procedures for Some Relevant Logics
  Abstract  PDF