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.

2007: Volume 5

• 60% Proof: Lakatos, Proof, and Paraconsistency
  Graham Priest and Neil Thomason

  [Abstract HTML | Text PDF | Citation BibTeX]
  11 pages. November 28, 2007

• An atomic theory with no prime models
  Tarek Sayed Ahmed

  [Abstract HTML | Text PDF | Citation BibTeX]
  4 pages. November 19, 2007

• Not so deep inconsistency: a reply to Eklund
  JC Beall and Graham Priest

  [Abstract HTML | Text PDF | Citation BibTeX]
  11 pages. November 11, 2007

• Four Variables Suffice
  Alasdair Urquhart

  [Abstract HTML | Text PDF | Citation BibTeX]
  8 pages. November 11, 2007

• Reduction in first-order logic compared with reduction in implicational logic
  Tigran M. Galoyan

  [Abstract HTML | Text PDF | Citation BibTeX]
  8 pages. November 8, 2007

• Forcing with Non-wellfounded Models
  Paul Corazza

  [Abstract HTML | Text PDF | Citation BibTeX]
  38 pages. November 8, 2007

• The McKinsey–Lemmon logic is barely canonical
  Robert Goldblatt and Ian Hodkinson

  [Abstract HTML | Text PDF | Citation BibTeX]
  19 pages. November 6, 2007

2006: Volume 4

• Expressive Three-valued Truth Functions
  Stephen Pollard

  [Abstract HTML | Text PDF | Citation BibTeX]
  18 pages. Published May 29, 2006

• An Analysis of Inconsistent and Incomplete Necker Cubes
  Chris Mortensen

  [Abstract HTML | Text PDF | Citation BibTeX]
  10 pages. Published March 30, 2006

• Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations
  Guido Governatori and Antonio Rotolo

  [Abstract HTML | Text PDF | Citation BibTeX]
  23 pages. Published March 30, 2006

• Natural Derivations for Priest, An Introduction to Non-Classical Logic
  Tony Roy

  [Abstract HTML | Text PDF | Citation BibTeX]
  146 pages. Published March 20, 2006

• Some non-standard interpretations of the axiomatic basis of Lesniewski’s Ontology
  Rafal Urbaniak

  [Abstract HTML | Text PDF | Citation BibTeX]
  34 pages. January 25, 2006

• Inexpressiveness of First-Order Fragments
  William C. Purdy

  [Abstract HTML | Text PDF | Citation BibTeX]
  12 pages. January 25, 2006

2005: Volume 3

• Playing Cards with Hintikka: An introduction to dynamic epistemic logic
  H. P. van Ditmarsch, W. van der Hoek and B. P. Kooi

  [Abstract HTML | Text PDF | Citation BibTeX]
  27 pages. October 6, 2005

• From Paradox to Judgment: towards a metaphysics of expression
  Mariam Thalos

  [Abstract HTML | Text PDF | Citation BibTeX]
  32 pages. October 6, 2005

• REVIEW: Frank Markham Brown’s Boolean Reasoning: The Logic of Boolean Equations
  Kari Saukkonen

  [Text PDF | Citation BibTeX]
  9 pages. Published July 11, 2005

• REVIEW: Warren Goldfarb’s Deductive Logic
  Gillian Russell

  [Text PDF | Citation BibTeX]
  4 pages. Published July 11, 2005

• Constant Domain Quantified Modal Logics Without Boolean Negation
  Greg Restall

  [Abstract HTML | Text PDF | Citation BibTeX]
  18 pages. July 8, 2005

• Tonk Strikes Back
  Denis Bonnay and Benjamin Simmenauer

  [Abstract HTML | Text PDF | Citation BibTeX]
  12 pages. July 8, 2005

• Basic Relevant Theories for Combinators at Levels I and II
  Koushik Pal and Robert K. Meyer

  [Abstract HTML | Text PDF | Citation BibTeX]
  19 pages. July 8, 2005

• Justification of Argument Schemes
  Douglas Walton

  [Abstract HTML | Text PDF | Citation BibTeX]
  13 pages. July 8, 2005

2004: Volume 2

• Limiting Cases for Spectrum Closure Results
  Aaron Hunter

  [Abstract HTML | Text PDF | Citation BibTeX]
  14 pages. October 26, 2004

• Modal Predicates
  Andrea Iacona

  [Abstract HTML | Text PDF | Citation BibTeX]
  14 pages. August 2, 2004

• A Poor Concept Script
  Hartley Slater

  [Abstract HTML | Text PDF | Citation BibTeX]
  12 pages. August 2, 2004

• The Classical and Maximin Versions of the Two-Envelope Paradox
  Bruce Langtry

  [Abstract HTML | Text PDF | Citation BibTeX]
  14 pages. August 2, 2004

• Possibility Semantics for Intuitionistic Logic
  M. J. Cresswell

  [Abstract HTML | Text PDF | Citation BibTeX]
  19 pages. April 30, 2004

• Propositional Identity and Logical Necessity
  David B. Martens

  [Abstract HTML | Text PDF | Citation BibTeX]
  10 pages. March 12, 2004

2003: Volume 1

• Intersection Type Systems and Logics Related to the Meyer-Routley System B+
  Martin Bunder

  [Abstract HTML | Text PDF | Citation BibTeX]
  13 pages. September 16, 2003

• Three Schools of Paraconsistency
  Koji Tanaka

  [Abstract HTML | Text PDF | Citation BibTeX]
  15 pages. July 1, 2003

• Semantic Decision Procedures for Some Relevant Logics
  Ross Brady

  [Abstract HTML | Text PDF | Citation BibTeX]
  24 pages. July 1, 2003

• Editorial
  Greg Restall

  [Abstract HTML | Text PDF | Citation BibTeX]
  3 pages. July 1, 2003

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