Vol. 6 (2008): Australasian Journal of Logic

Articles

• Categorical Abstract Algebraic Logic: Equivalential π-Institutions

  George Voutsadakis

  • PDF

• Bayesians sometimes cannot ignore even very implausible theories (even ones that have not yet been thought of)

  Branden Fitelson, Neil Thomason

  • PDF

• Church-Rosser property and intersection types

  George Koletsos, George Stavrinos

  • PDF

• A Rejection System for the First-Degree Formulae of some Relevant Logics

  Ross T. Brady

  • PDF

• Modal Formulas True at Some Point in Every Model

  Lloyd Humberstone

  • PDF

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

  John N. Crossley

  • PDF

• Mathematical and Physical Continuity

  Mark Colyvan, Kenny Easwaran

  • PDF

• Reply to Beall and Priest

  Matti Eklund

  • PDF

• Paraconsistent Vagueness: Why Not?

  Dominic Hyde, Mark Colyvan

  • PDF

• Collapsing Arguments for Facts and Propositions

  John Howard Sobel

  • PDF

• An abstract approach to reasoning about games with mistaken and changing beliefs

  Benedikt Löwe, Eric Pacuit

  • PDF

• Logical dynamics meets logical pluralism?

  Johan van Benthem

  • PDF

• Logical Pluralism Hollandaise

  Graham Priest

  • PDF