Submitted on: 01 December 1999.
Revised on: 13 December 1999.
Accepted on: 29 December 1999.
Notre Dame Journal of Formal Logic
Submitted on: 03 April 2019.
Revised on: 12 May 2019.
Accepted on: 28 May 2019.
Notre Dame Journal of Formal Logic
http://reply.papertrans.cn/3/233/23274/23274-13.png
http://reply.papertrans.cn/3/233/23274/23274-14.png
Submitted on: 21 October 2022.
Revised on: 23 November 2022.
Accepted on: 13 December 2022.
Notre Dame Journal of Formal Logic
http://reply.papertrans.cn/3/233/23274/23274-16.png
http://reply.papertrans.cn/3/233/23274/23274-17.png
http://reply.papertrans.cn/3/233/23274/23274-18.png
http://reply.papertrans.cn/3/233/23274/23274-19.png
http://reply.papertrans.cn/3/233/23274/23274-20.png