Submitted on: 24 April 2000.
Revised on: 03 June 2000.
Accepted on: 08 June 2000.
Notre Dame Journal of Formal Logic
Submitted on: 18 April 2017.
Revised on: 16 May 2017.
Accepted on: 10 June 2017.
Notre Dame Journal of Formal Logic
Submitted on: 28 July 2008.
Revised on: 09 September 2008.
Accepted on: 19 September 2008.
Notre Dame Journal of Formal Logic
Submitted on: 12 November 2003.
Revised on: 21 December 2003.
Accepted on: 29 December 2003.
Notre Dame Journal of Formal Logic
http://reply.papertrans.cn/3/233/23273/23273-15.png
http://reply.papertrans.cn/3/233/23273/23273-16.png
http://reply.papertrans.cn/3/233/23273/23273-17.png
http://reply.papertrans.cn/3/233/23273/23273-18.png
Submitted on: 11 April 2005.
Revised on: 04 May 2005.
Accepted on: 16 May 2005.
Notre Dame Journal of Formal Logic
Submitted on: 12 March 2002.
Revised on: 14 April 2002.
Accepted on: 09 May 2002.
Notre Dame Journal of Formal Logic