Vol. 8 (2011): Australasian Journal of Logic

Articles

• The D-Completeness of T→

  R. K. Meyer, M. W. Bunder

  • PDF

• Extending Metacompleteness to Systems with Classical Formulae

  Ross T. Brady

  • PDF

• Boolean Conservative Extension Results for some Modal Relevant Logics

  Edwin D. Mares, Koji Tanaka

  • PDF

• Logics without the contraction rule and residuated lattices

  Hiroakira Ono

  • PDF

• Models for Substructural Arithmetics

  Greg Restall

  • PDF

• A Logic for Vagueness

  John Slaney

  • PDF

• Merge: In Honour of Robert K. Meyer

  Chris Mortensen

  • PDF