http://reply.papertrans.cn/1/19/1853/1853-21.png
http://reply.papertrans.cn/1/19/1853/1853-22.png
Submitted on: 18 April 2024.
Revised on: 22 June 2024.
Accepted on: 06 August 2024.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 04 June 2005.
Revised on: 28 July 2005.
Accepted on: 29 August 2005.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1853/1853-25.png
Submitted on: 09 September 2005.
Revised on: 19 October 2005.
Accepted on: 04 December 2005.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1853/1853-27.png
Submitted on: 25 November 2008.
Revised on: 28 January 2009.
Accepted on: 17 February 2009.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 18 November 2002.
Revised on: 10 February 2003.
Accepted on: 31 March 2003.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 08 February 2007.
Revised on: 17 March 2007.
Accepted on: 03 April 2007.
___________________ANNALS OF PURE AND APPLIED LOGIC