http://reply.papertrans.cn/3/233/23275/23275-31.png
http://reply.papertrans.cn/3/233/23275/23275-32.png
http://reply.papertrans.cn/3/233/23275/23275-33.png
http://reply.papertrans.cn/3/233/23275/23275-34.png
http://reply.papertrans.cn/3/233/23275/23275-35.png
Submitted on: 30 May 2000.
Revised on: 04 July 2000.
Accepted on: 19 July 2000.
Notre Dame Journal of Formal Logic