http://reply.papertrans.cn/1/19/1852/1852-21.png
http://reply.papertrans.cn/1/19/1852/1852-22.png
Submitted on: 07 April 2009.
Revised on: 04 May 2009.
Accepted on: 27 May 2009.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1852/1852-24.png
http://reply.papertrans.cn/1/19/1852/1852-25.png
Submitted on: 03 September 2008.
Revised on: 10 December 2008.
Accepted on: 05 January 2009.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1852/1852-27.png
Submitted on: 28 May 2000.
Revised on: 10 September 2000.
Accepted on: 07 October 2000.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1852/1852-29.png
Submitted on: 25 December 2019.
Revised on: 12 February 2020.
Accepted on: 06 March 2020.
___________________ANNALS OF PURE AND APPLIED LOGIC