Association for symbolic logic