-
The Australasian Journal of Logic Vol. 18 No. 3 (2021): The Australasian Journal of Logic - Logic
Evans' Argument and Vague Objects
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 2 (2021): The Australasian Journal of Logic - Logic
From Hilbert proofs to consecutions and back
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 7 (2021): The Australasian Journal of Logic - Articles
Translating Metainferences Into Formulae
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 4 (2021): The Australasian Journal of Logic - Articles
Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 4 (2021): The Australasian Journal of Logic - Articles
Some Interrelations between Geometry and Modal Logic
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 6 (2021): The Australasian Journal of Logic - Articles
The Strict/Tolerant Family Continued: Quantifiers and Modalities
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 7 (2021): The Australasian Journal of Logic - Articles
Algebra-valued models for LP-set theory
Abstract PDF -
The Australasian Journal of Logic Vol. 19 No. 4 (2022): The Australasian Journal of Logic - Articles
Dissolving the Paradoxicality Paradox
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
Introduction
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
Robert Meyer's Publications on Relevant Arithmetic
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
Relevant Arithmetic
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
Arithmetic Formulated Relevantly
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
The Consistency of Arithmetic
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
Inconsistent Models for Relevant Arithmetics
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
Alien Intruders in Relevant Arithmetic
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
Remark on Relevant Arithmetic
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
Episodes in Model-Theoretic Xenology: Rationals as Positive Integers in R#
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
Arithmetic Formulated in a Logic of Meaning Containment
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
Consistency and Decidability in Some Paraconsistent Arithmetics
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
On Not Saying What We Shouldn't Have to Say
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
"A Smack of Irrelevance" in Inconsistent Mathematics?
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 5 (2021): The Australasian Journal of Logic - Articles
Relevant Arithmetic and Mathematical Pluralism
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 6 (2021): The Australasian Journal of Logic - Articles
Hybrid Deduction-Refutation Systems for FDE-Based Logics
Abstract PDF -
The Australasian Journal of Logic Vol. 18 No. 6 (2021): The Australasian Journal of Logic - Articles
Strong Depth Relevance
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 3 (2023): The Australasian Journal of Logic - Articles
Threshold-Based Belief Change
Abstract PDF -
The Australasian Journal of Logic Vol. 19 No. 5 (2022): The Australasian Journal of Logic - Articles
Truthmakers, Incompatibility, and Modality
Abstract PDF -
The Australasian Journal of Logic Vol. 19 No. 1 (2022): The Australasian Journal of Logic - Articles
A Note on the signed occurrences of propositional variables
Abstract PDF -
The Australasian Journal of Logic Vol. 19 No. 1 (2022): The Australasian Journal of Logic - Articles
A Note on R-Mingle and the Danger of Safety
Abstract PDF -
The Australasian Journal of Logic Vol. 19 No. 5 (2022): The Australasian Journal of Logic - Articles
Minimally Nonstandard K3 and FDE
Abstract PDF -
The Australasian Journal of Logic Vol. 19 No. 4 (2022): The Australasian Journal of Logic - Articles
Fictional Modality and the Intensionality of Fictional Contexts
Abstract PDF -
The Australasian Journal of Logic Vol. 19 No. 2 (2022): The Australasian Journal of Logic - Articles
BCI-Algebras and Related Logics
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 3 (2023): The Australasian Journal of Logic - Articles
What are acceptable reductions?
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 3 (2023): The Australasian Journal of Logic - Articles
Semantic Incompleteness of del Cerro and Herzig's Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic
Abstract PDF -
The Australasian Journal of Logic Vol. 19 No. 5 (2022): The Australasian Journal of Logic - Articles
A Recipe for Paradox
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 1 (2023): The Australasian Journal of Logic - Articles
Modular labelled calculi for relevant logics
Abstract PDF -
The Australasian Journal of Logic Vol. 19 No. 5 (2022): The Australasian Journal of Logic - Articles
Pure Refined Variable Inclusion Logics
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 1 (2023): The Australasian Journal of Logic - Articles
Interpreting mereotopological connection
Abstract PDF -
The Australasian Journal of Logic Vol. 19 No. 5 (2022): The Australasian Journal of Logic - Articles
Boole's indefinite symbols re-examined
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 1 (2023): The Australasian Journal of Logic - Articles
The Geometry of Relevant Implication II
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 3 (2023): The Australasian Journal of Logic - Articles
The Paradox Paradox Non-Paradox and Conjunction Fallacy Non-Fallacy
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 3 (2023): The Australasian Journal of Logic - Articles
Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 3 (2023): The Australasian Journal of Logic - Articles
A Semi-Constructive Approach to the Hyperreal Line
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 2 (2023): The Australasian Journal of Logic - Articles
Introduction to the special issue ‘Valerie Plumwood’s contributions to Logic’
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 2 (2023): The Australasian Journal of Logic - Articles
Val (Routley) Plumwood: Work in Logic
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 2 (2023): The Australasian Journal of Logic - Articles
Relevance through topical unconnectedness
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 2 (2023): The Australasian Journal of Logic - Articles
The class of all 3-valued natural conditional variants of RM3 that are Plumwood Algebras
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 2 (2023): The Australasian Journal of Logic - Articles
Some False Laws of Logic
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 2 (2023): The Australasian Journal of Logic - Articles
In Support of Valerie Plumwood
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 2 (2023): The Australasian Journal of Logic - Articles
From Excluded Middle to Homogenization in Plumwood’s Feminist Critique of Logic
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 2 (2023): The Australasian Journal of Logic - Articles
The Liberation Argument for Inconsistent Mathematics
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 2 (2023): The Australasian Journal of Logic - Articles
Feminist Logic, Literally
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 2 (2023): The Australasian Journal of Logic - Articles
A Variety of DeMorgan Negations in Relevant Logics
Abstract PDF -
The Australasian Journal of Logic Vol. 1 (2003): Australasian Journal of Logic - Articles
Editorial
Abstract PDF -
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. 1 (2003): Australasian Journal of Logic - Articles
Three Schools of Paraconsistency
Abstract PDF -
The Australasian Journal of Logic Vol. 1 (2003): Australasian Journal of Logic - Articles
Intersection Type Systems and Logics Related to the Meyer–Routley System B+
Abstract PDF -
The Australasian Journal of Logic Vol. 2 (2004): Australasian Journal of Logic - Articles
Propositional Identity and Logical Necessity
Abstract PDF -
The Australasian Journal of Logic Vol. 2 (2004): Australasian Journal of Logic - Articles
Possibility Semantics for Intuitionistic Logic
Abstract PDF -
The Australasian Journal of Logic Vol. 2 (2004): Australasian Journal of Logic - Articles
The Classical and Maximin Versions of the Two-Envelope Paradox
Abstract PDF -
The Australasian Journal of Logic Vol. 2 (2004): Australasian Journal of Logic - Articles
A Poor Concept Script
Abstract PDF -
The Australasian Journal of Logic Vol. 2 (2004): Australasian Journal of Logic - Articles
Modal Predicates
Abstract PDF -
The Australasian Journal of Logic Vol. 2 (2004): Australasian Journal of Logic - Articles
Limiting Cases for Spectrum Closure Results
Abstract PDF -
The Australasian Journal of Logic Vol. 3 (2005): Australasian Journal of Logic - Articles
Justification of Argumentation Schemes
Abstract PDF -
The Australasian Journal of Logic Vol. 3 (2005): Australasian Journal of Logic - Articles
Basic Relevant Theories for Combinators at Levels I and II
Abstract PDF -
The Australasian Journal of Logic Vol. 3 (2005): Australasian Journal of Logic - Articles
Tonk Strikes Back∗
Abstract PDF -
The Australasian Journal of Logic Vol. 3 (2005): Australasian Journal of Logic - Articles
Constant Domain Quantified Modal Logics Without Boolean Negation
Abstract PDF -
The Australasian Journal of Logic Vol. 3 (2005): Australasian Journal of Logic - Articles
Review: Warren Goldfarb’s Deductive Logic
Abstract PDF -
The Australasian Journal of Logic Vol. 3 (2005): Australasian Journal of Logic - Articles
Review: Frank Markham Brown’s Boolean Reasoning: The Logic of Boolean Equations
Abstract PDF -
The Australasian Journal of Logic Vol. 3 (2005): Australasian Journal of Logic - Articles
From Paradox to Judgment: towards a metaphysics of expression
Abstract PDF -
The Australasian Journal of Logic Vol. 3 (2005): Australasian Journal of Logic - Articles
Playing cards with Hintikka An introduction to dynamic epistemic logic
Abstract PDF -
The Australasian Journal of Logic Vol. 4 (2006): Australasian Journal of Logic - Articles
Inexpressiveness of First-Order Fragments
Abstract PDF -
The Australasian Journal of Logic Vol. 4 (2006): Australasian Journal of Logic - Articles
Some non-standard interpretations of the axiomatic basis of Leśniewski’s Ontology
Abstract PDF -
The Australasian Journal of Logic Vol. 4 (2006): Australasian Journal of Logic - Articles
Natural Derivations for Priest, An Introduction to Non-Classical Logic
Abstract PDF -
The Australasian Journal of Logic Vol. 4 (2006): Australasian Journal of Logic - Articles
Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations
Abstract PDF -
The Australasian Journal of Logic Vol. 4 (2006): Australasian Journal of Logic - Articles
An Analysis of Inconsistent and Incomplete Necker Cubes
Abstract PDF -
The Australasian Journal of Logic Vol. 4 (2006): Australasian Journal of Logic - Articles
Expressive Three-valued Truth Functions
Abstract PDF -
The Australasian Journal of Logic Vol. 5 (2007): Australasian Journal of Logic - Articles
The McKinsey–Lemmon logic is barely canonical
Abstract PDF -
The Australasian Journal of Logic Vol. 5 (2007): Australasian Journal of Logic - Articles
Forcing with Non-wellfounded Models
Abstract PDF -
The Australasian Journal of Logic Vol. 5 (2007): Australasian Journal of Logic - Articles
Reduction in first-order logic compared with reduction in implicational logic
Abstract PDF -
The Australasian Journal of Logic Vol. 5 (2007): Australasian Journal of Logic - Articles
Four Variables Suffice
Abstract PDF -
The Australasian Journal of Logic Vol. 5 (2007): Australasian Journal of Logic - Articles
Not so deep inconsistency: a reply to Eklund
Abstract PDF -
The Australasian Journal of Logic Vol. 5 (2007): Australasian Journal of Logic - Articles
An atomic theory with no prime models
Abstract PDF -
The Australasian Journal of Logic Vol. 5 (2007): Australasian Journal of Logic - Articles
60% Proof Lakatos, Proof, and Paraconsistency
Abstract PDF -
The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
Categorical Abstract Algebraic Logic: Equivalential π-Institutions
Abstract PDF -
The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
Bayesians sometimes cannot ignore even very implausible theories (even ones that have not yet been thought of)
Abstract PDF -
The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
Church-Rosser property and intersection types
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. 6 (2008): Australasian Journal of Logic - Articles
Modal Formulas True at Some Point in Every Model
Abstract PDF -
The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
Review: Eckart Menzler-Trott’s — Logic’s Lost Genius: The Life of Gerhard Gentzen
Abstract PDF -
The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
Mathematical and Physical Continuity
Abstract PDF -
The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
Reply to Beall and Priest
Abstract PDF -
The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
Paraconsistent Vagueness: Why Not?
Abstract PDF -
The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
Collapsing Arguments for Facts and Propositions
Abstract PDF -
The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
An abstract approach to reasoning about games with mistaken and changing beliefs
Abstract PDF -
The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
Logical dynamics meets logical pluralism?
Abstract PDF -
The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
Logical Pluralism Hollandaise
Abstract PDF -
The Australasian Journal of Logic Vol. 7 (2009): Australasian Journal of Logic - Articles
Linear Algebra Representation of Necker Cubes I: The Crazy Crate
Abstract PDF -
The Australasian Journal of Logic Vol. 7 (2009): Australasian Journal of Logic - Articles
Linear Algebra Representation of Necker Cubes II: The Routley Functor and Necker Chains
Abstract PDF -
The Australasian Journal of Logic Vol. 7 (2009): Australasian Journal of Logic - Articles
Review: H. van Ditmarsch, W. van der Hoek and B. Kooi’s Dynamic Epistemic Logic
Abstract PDF -
The Australasian Journal of Logic Vol. 7 (2009): Australasian Journal of Logic - Articles
The Law of Non-Contradiction as a Metaphysical Principle
Abstract PDF -
The Australasian Journal of Logic Vol. 7 (2009): Australasian Journal of Logic - Articles
A Note on Identity and Higher Order Quantification
Abstract PDF -
The Australasian Journal of Logic Vol. 7 (2009): Australasian Journal of Logic - Articles
Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic
Abstract PDF