http://reply.papertrans.cn/1/19/1852/1852-11.png
http://reply.papertrans.cn/1/19/1852/1852-12.png
Submitted on: 11 January 1999.
Revised on: 12 March 1999.
Accepted on: 05 May 1999.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 29 July 2019.
Revised on: 28 August 2019.
Accepted on: 09 October 2019.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1852/1852-15.png
Submitted on: 04 October 2011.
Revised on: 06 January 2012.
Accepted on: 10 February 2012.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 12 February 2020.
Revised on: 13 April 2020.
Accepted on: 11 June 2020.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 09 April 2008.
Revised on: 05 July 2008.
Accepted on: 21 August 2008.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 01 July 2003.
Revised on: 23 July 2003.
Accepted on: 09 August 2003.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 29 July 2024.
Revised on: 16 October 2024.
Accepted on: 25 November 2024.
___________________ANNALS OF PURE AND APPLIED LOGIC