China) Asian Logic Conference 1996 (Beijing