Submitted on: 05 March 2014.
Revised on: 13 April 2014.
Accepted on: 25 April 2014.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1853/1853-32.png
Submitted on: 28 April 2015.
Revised on: 18 August 2015.
Accepted on: 20 September 2015.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 03 February 2001.
Revised on: 02 June 2001.
Accepted on: 14 June 2001.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1853/1853-35.png
Submitted on: 07 May 2022.
Revised on: 27 July 2022.
Accepted on: 05 September 2022.
___________________ANNALS OF PURE AND APPLIED LOGIC