Vol. 19 No. 1 (2022): The Australasian Journal of Logic

Articles

• Takeuti's Well-ordering Proof An Accessible Recontruction

  Aaron Thomas-Bolduc, Eamon Darnell

  • PDF

• Models of Relevant Arithmetic

  John Slaney

  • PDF

• A Note on R-Mingle and the Danger of Safety

  Andrew Tedder

  • PDF

• A Note on the signed occurrences of propositional variables

  Thomas Randriamahazaka

  • PDF

• Gluon Theory: The Unified Unifiers

  Behnam Zolghadr

  • PDF