Australasian Association for Logic 2001The 2001 meeting of the Australasian Association of Logic was held from 29 November-1 December 2001 on campus at Victoria University of Wellington.
The following talks were given at AAL 2001. Abstracts of the submitted papers will appear in a future issue of the Bulletin of Symbolic Logic.
- Presidential Address: Ed Mares, So, What's the Deal with Relevance?
- Invited Lecture: Stephen Read
- Neil Leslie, Characterising the difference between NK and NJ in a connective-free manner
- Ross Brady, Normalized Natural Deduction Systems for Relevant Logics
- Jerry Seligman and Rod Girle, Tableaux for S1
- Rob Goldblatt, Some questions of canonicity for modal logics
- Sebastian Link, Consistency Enforcement - Achievements and a new Approach
- Hans van Ditmarsch, The semantics of concurrent knowledge actions
- J-Y Beziau, What is the Right Approach to Modal Logic?
- Rod Girle, Phosphorus and Hesperus : Does it matter which is which?
- Andrew Holster, Formal Incompleteness of Object Languages of Fundamental Physics
- Phil Catton, The particle, the parenthesis and the proposition: challenges to analytic clarity in the science of physics
- Katalin Bimbó, Typed Dual Combinatory Logic
- Koji Tanaka, Logical Pluralism
- Hartley Slater
- Martin Bunder and Wil Dekkers, Connecting Foundations and Proof Assistance
- Wu Guohua, Lattice embeddings into the d.c.e. degrees