http://reply.papertrans.cn/1/19/1853/1853-11.png
Submitted on: 01 September 2007.
Revised on: 27 November 2007.
Accepted on: 20 December 2007.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1853/1853-13.png
Submitted on: 08 February 2020.
Revised on: 29 March 2020.
Accepted on: 03 May 2020.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1853/1853-15.png
Submitted on: 20 November 2001.
Revised on: 23 February 2002.
Accepted on: 22 April 2002.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 08 June 1999.
Revised on: 04 July 1999.
Accepted on: 14 July 1999.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 08 May 2023.
Revised on: 11 August 2023.
Accepted on: 07 September 2023.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 02 June 2010.
Revised on: 16 September 2010.
Accepted on: 27 September 2010.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1853/1853-20.png