Established in 2003, the Australasian Journal of Logic is a fully refereed, freely available electronic journal covering all areas of research in logic. We aim to be a repository of timely, original and significant research in pure logic, and logic as it is applied in mathematics, computer science, linguistics and philosophy.

2011: Volume 10

• Flexibility in Ceteris Paribus Reasoning
  Jeremy Seligman and Patrick Girard

  [Abstract HTML | Text PDF | Citation BibTeX]
  32 pages. December 21, 2011

• Fraenkel-Carnap Questions for Equivalence Relations
  George Weaver and Irena Penev

  [Abstract HTML | Text PDF | Citation BibTeX]
  15 pages. May 27, 2011

• Translatable Self-Reference
  Hartley Slater

  [Abstract HTML | Text PDF | Citation BibTeX]
  7 pages. May 19, 2011

• Adding to Relevant Restricted Quantification
  Jc Beall

  [Abstract HTML | Text PDF | Citation BibTeX]
  9 pages. April 14, 2011

• The Boxdot Conjecture and the Language of Essence and Accident
  Christopher Steinsvold

  [Abstract HTML | Text PDF | Citation BibTeX]
  18 pages. February 15, 2011

• Proving Induction
  Alexander Paseau

  [Abstract HTML | Text PDF | Citation BibTeX]
  17 pages. February 15, 2011

2010: Volume 9

• AJL COMMENT
  One Philosopher is Correct (Maybe)
  Paul Skokowski

  [Abstract HTML | Text PDF | Citation BibTeX]
  3 pages. December 1, 2010

• Complement-Topoi and Dual Intuitionistic Logic
  Luis Estrada-González

  [Abstract HTML | Text PDF | Citation BibTeX]
  19 pages. November 26, 2010

• Cantor’s Proof in the Full Definable Universe
  Laureano Luna and William Taylor

  [Abstract HTML | Text PDF | Citation BibTeX]
  16 pages. November 3, 2010

• Review: Vagueness and Degrees of Truth
  Christian G. Fermüller

  [Abstract HTML | Text PDF | Citation BibTeX]
  9 pages. November 2, 2010

2010-2011: Volume 8
In Memory of Professor Robert K. Meyer

• Merge
  Chris Mortensen

  [Abstract HTML | Text PDF | Citation BibTeX]
  7 pages. April 29, 2011

• A Logic for Vagueness
  John Slaney

  [Abstract HTML | Text PDF | Citation BibTeX]
  35 pages. November 2, 2010

• The D-Completeness of T_→
  R. K. Meyer and M. W. Bunder

  [Abstract HTML | Text PDF | Citation BibTeX]
  8 pages. September 22, 2010

• Extending Metacompleteness to Systems with Classical Formulae
  Ross T. Brady

  [Abstract HTML | Text PDF | Citation BibTeX]
  22 pages. September 22, 2010

• Boolean Conservative Extension Results for some Modal Relevant Logics
  Edwin D. Mares and Koji Tanaka

  [Abstract HTML | Text PDF | Citation BibTeX]
  19 pages. September 22, 2010

• Logics without the contraction rule and residuated lattices
  Hiroakira Ono

  [Abstract HTML | Text PDF | Citation BibTeX]
  32 pages. September 22, 2010

• Models for Substructural Arithmetics
  Greg Restall

  [Abstract HTML | Text PDF | Citation BibTeX]
  18 pages. September 22, 2010

For earlier issues, visit the archives.

Copyright © 2003-2005, School of Philosophy, University of Melbourne.
Individual papers are copyright their authors.