Author: Asian Logic Conference (7th 1999 Hsi-Tou, Taiwan)