The Australasian Journal of Logic
2011: Volume 10
The Boxdot Conjecture and the Language of Essence and Accident
Christopher Steinsvold
Proving Induction
Alexander Paseau
2010: Volume 9
One Philosopher is Correct (Maybe)
Paul Skokowski
Complement-Topoi and Dual Intuitionistic Logic
Luis Estrada-González
Cantor’s Proof in the Full Definable Universe
Laureano Luna and William Taylor
Review: Vagueness and Degrees of Truth
Christian G. Fermüller
2010: Volume 8 - In Memory of Professor Robert K. Meyer
A Logic for Vagueness
John Slaney
The D-Completeness of T→
R.K Meyer and M. W. Bunder
Extending Metacompleteness to Systems with Classical Formulae
Ross T. Brady
Boolean Conservative Extension Results for some Modal Relevant Logics
Edwin D. Mares and Koji Tanaka
Logics without the contraction rule and residuated lattices
Hiroakira Ono
Models for Substructural Arithmetics
Greg Restall
2009: Volume 7
Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic
Rohan French and Lloyd Humberstone
A Note on Identity and Higher-Order Quantification
Rafal Urbaniak
The Law of Non-Contradiction as a Metaphysical Principle
Tuomas E. Tahko
Review: H. van Ditmarsch, W. van der Hoek and B. Kooi’s Dynamic Epistemic Logic
Patrick Girard
Linear Algebra Representation of Necker Cubes I: The Crazy Crate
Chris Mortensen and Steve Leishman
Linear Algebra Representation of Necker Cubes II: The Routley Functor and Necker Chains
Chris Mortensen
2008: Volume 6
Logical Pluralism Hollandaise
Graham Priest
Logical pluralism meets logical dynamics?
Johan van Benthem
An abstract approach to reasoning about games with mistaken and changing beliefs
Benedikt Löwe and Eric Pacuit
Collapsing Arguments for Facts and Propositions
John Howard Sobel
Paraconsistent Vagueness: Why Not?
Dominic Hyde and Mark Colyvan
Reply to Beall and Priest
Matti Eklund
Mathematical and Physical Continuity
Mark Colyvan and Kenny Easwaran
Review: Eckart Menzler-Trott’s — Logic’s Lost Genius: The Life of Gerhard Gentzen
John N. Crossley
Modal Formulas True at Some Point in Every Model
Lloyd Humberstone
A Rejection System for the First-Degree Formulae of some Relevant Logics
Ross T. Brady
Church-Rosser property and intersection types
George Koletsos and George Stavrinos
Bayesians sometimes cannot ignore even very implausible theories (even ones that have not yet been
thought of)
Branden Fitelson and Neil Thomason
Categorical Abstract Algebraic Logic: Equivalential π-Institutions
George Voutsadakis
2007: Volume 5
60% Proof: Lakatos, Proof, and Paraconsistency
Graham Priest and Neil Thomason
An atomic theory with no prime models
Tarek Sayed Ahmed
Not so deep inconsistency: a reply to Eklund
JC Beall and Graham Priest
Four Variables Suffice
Alasdair Urquhart
Reduction in first-order logic compared with reduction in implicational logic
Tigran M. Galoyan
Forcing with Non-wellfounded Models
Paul Corazza
The McKinsey–Lemmon logic is barely canonical
Robert Goldblatt and Ian Hodkinson
2006: Volume 4
Expressive Three-valued Truth Functions
Stephen Pollard
An Analysis of Inconsistent and Incomplete Necker Cubes
Chris Mortensen
Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations
Guido Governatori and Antonio Rotolo
Natural Derivations for Priest, An Introduction to Non-Classical Logic
Tony Roy
Some non-standard interpretations of the axiomatic basis of Lesniewski’s Ontology
Rafal Urbaniak
Inexpressiveness of First-Order Fragments
William C. Purdy
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
From Paradox to Judgment: towards a metaphysics of expression
Mariam Thalos
REVIEW: Frank Markham Brown’s Boolean Reasoning: The Logic of Boolean Equations
Kari Saukkonen
REVIEW: Warren Goldfarb’s Deductive Logic
Gillian Russell
Constant Domain Quantified Modal Logics Without Boolean Negation
Greg Restall
Tonk Strikes Back
Denis Bonnay and Benjamin Simmenauer
Basic Relevant Theories for Combinators at Levels I and II
Koushik Pal and Robert K. Meyer
Justification of Argument Schemes
Douglas Walton
2004: Volume 2
Limiting Cases for Spectrum Closure Results
Aaron Hunter
Modal Predicates
Andrea Iacona
A Poor Concept Script
Hartley Slater
The Classical and Maximin Versions of the Two-Envelope Paradox
Bruce Langtry
Possibility Semantics for Intuitionistic Logic
M. J. Cresswell
Propositional Identity and Logical Necessity
David B. Martens
2003: Volume 1
Intersection Type Systems and Logics Related to the Meyer-Routley System B+
Martin Bunder
Three Schools of Paraconsistency
Koji Tanaka
Semantic Decision Procedures for Some Relevant Logics
Ross Brady
Editorial
Greg Restall
Visit the Australasian Journal of Logic’s website (link)
