Vol. 5 (2007): Australasian Journal of Logic

Articles

• The McKinsey–Lemmon logic is barely canonical

  Robert Goldblatt, Ian Hodkinson

  • PDF

• Forcing with Non-wellfounded Models

  Paul Corazza

  • PDF

• Reduction in first-order logic compared with reduction in implicational logic

  Tigran M. Galoyan

  • PDF

• Four Variables Suffice

  Alasdair Urquhart

  • PDF

• Not so deep inconsistency: a reply to Eklund

  JC Beall, Graham Priest

  • PDF

• An atomic theory with no prime models

  Tarek Sayed Ahmed

  • PDF

• 60% Proof Lakatos, Proof, and Paraconsistency

  Graham Priest, Neil Thomason

  • PDF