, 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
• The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
  A Rejection System for the First-Degree Formulae of some Relevant Logics
  Abstract  PDF
• The Australasian Journal of Logic Vol. 8 (2011): Australasian Journal of Logic - Articles
  Extending Metacompleteness to Systems with Classical Formulae
  Abstract  PDF