2011: Volume 10

• 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

2009: Volume 7

• Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic
  Rohan French and Lloyd Humberstone

  [Abstract HTML | Text PDF | Citation BibTeX]
  6 pages. July 29, 2009

• A Note on Identity and Higher-Order Quantification
  Rafal Urbaniak

  [Abstract HTML | Text PDF | Citation BibTeX]
  8 pages. July 6, 2009

• The Law of Non-Contradiction as a Metaphysical Principle
  Tuomas E. Tahko

  [Abstract HTML | Text PDF | Citation BibTeX]
  16 pages. June 11, 2009

• Review: H. van Ditmarsch, W. van der Hoek and B. Kooi’s Dynamic Epistemic Logic
  Patrick Girard

  [Text PDF | Citation BibTeX]
  6 pages. May 29, 2009

• Linear Algebra Representation of Necker Cubes I: The Crazy Crate
  Chris Mortensen and Steve Leishman

  [Abstract HTML | Text PDF | Citation BibTeX]
  9 pages. March 27, 2009

• Linear Algebra Representation of Necker Cubes II: The Routley Functor and Necker Chains
  Chris Mortensen

  [Abstract HTML | Text PDF | Citation BibTeX]
  16 pages. March 27, 2009

2008: Volume 6

• Logical Pluralism Hollandaise
  Graham Priest

  [Abstract HTML | Text PDF | Citation BibTeX]
  5 pages. December 17, 2008

• Logical pluralism meets logical dynamics?
  Johan van Benthem

  [Abstract HTML | Text PDF | Citation BibTeX]
  28 pages. December 17, 2008

• An abstract approach to reasoning about games with mistaken and changing beliefs
  Benedikt Löwe and Eric Pacuit

  [Abstract HTML | Text PDF | Citation BibTeX]
  20 pages. November 28, 2008

• Collapsing Arguments for Facts and Propositions
  John Howard Sobel

  [Abstract HTML | Text PDF | Citation BibTeX]
  40 pages. November 27, 2008

• Paraconsistent Vagueness: Why Not?
  Dominic Hyde and Mark Colyvan

  [Abstract HTML | Text PDF | Citation BibTeX]
  15 pages. November 26, 2008

• Reply to Beall and Priest
  Matti Eklund

  [Abstract HTML | Text PDF | Citation BibTeX]
  13 pages. November 7, 2008

• Mathematical and Physical Continuity
  Mark Colyvan and Kenny Easwaran

  [Abstract HTML | Text PDF | Citation BibTeX]
  7 pages. September 16, 2008

• Review: Eckart Menzler-Trott’s — Logic’s Lost Genius: The Life of Gerhard Gentzen
  John N. Crossley

  [Text PDF | Citation BibTeX]
  5 pages. September 15, 2008

• Modal Formulas True at Some Point in Every Model
  Lloyd Humberstone

  [Abstract HTML | Text PDF | Citation BibTeX]
  13 pages. August 4, 2008

• A Rejection System for the First-Degree Formulae of some Relevant Logics
  Ross T. Brady

  [Abstract HTML | Text PDF | Citation BibTeX]
  15 pages. August 4, 2008

• Church-Rosser property and intersection types
  George Koletsos and George Stavrinos

  [Abstract HTML | Text PDF | Citation BibTeX]
  18 pages. August 4, 2008

• Bayesians sometimes cannot ignore even very implausible theories
  (even ones that have not yet been thought of)
  Branden Fitelson and Neil Thomason

  [Abstract HTML | Text PDF | Citation BibTeX]
  12 pages. August 4, 2008

• Categorical Abstract Algebraic Logic: Equivalential π-Institutions
  George Voutsadakis

  [Abstract HTML | Text PDF | Citation BibTeX]
  24 pages. August 4, 2008

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, Philosophy Department, University of Melbourne.
Individual papers are copyright their authors.