http://reply.papertrans.cn/1/19/1854/1854-21.png
Submitted on: 10 July 2009.
Revised on: 19 August 2009.
Accepted on: 24 September 2009.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 17 May 2010.
Revised on: 14 June 2010.
Accepted on: 07 July 2010.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1854/1854-24.png
Submitted on: 02 August 2005.
Revised on: 31 October 2005.
Accepted on: 21 December 2005.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 07 September 2018.
Revised on: 06 November 2018.
Accepted on: 03 January 2019.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1854/1854-27.png
Submitted on: 28 January 2023.
Revised on: 16 April 2023.
Accepted on: 30 May 2023.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 11 August 2005.
Revised on: 20 November 2005.
Accepted on: 23 December 2005.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 06 November 2018.
Revised on: 15 December 2018.
Accepted on: 30 December 2018.
___________________ANNALS OF PURE AND APPLIED LOGIC