Vol. 1 (2003): Australasian Journal of Logic

Articles

• Editorial

  Greg Restall

  • PDF

• Semantic Decision Procedures for Some Relevant Logics

  Ross Brady

  • PDF

• Three Schools of Paraconsistency

  Koji Tanaka

  • PDF

• Intersection Type Systems and Logics Related to the Meyer–Routley System B+

  Martin Bunder

  • PDF