Australasian Association for Logic