http://reply.papertrans.cn/3/211/21021/21021-11.png
http://reply.papertrans.cn/3/211/21021/21021-12.png
Submitted on: 22 May 2005.
Revised on: 02 July 2005.
Accepted on: 19 July 2005.
LOGIC JOURNAL OF THE IGPL---OXFORD UNIV PRESS
Submitted on: 29 December 2004.
Revised on: 23 January 2005.
Accepted on: 11 February 2005.
LOGIC JOURNAL OF THE IGPL---OXFORD UNIV PRESS
http://reply.papertrans.cn/3/211/21021/21021-15.png
Submitted on: 20 May 2012.
Revised on: 12 June 2012.
Accepted on: 02 July 2012.
LOGIC JOURNAL OF THE IGPL---OXFORD UNIV PRESS
http://reply.papertrans.cn/3/211/21021/21021-17.png
http://reply.papertrans.cn/3/211/21021/21021-18.png
http://reply.papertrans.cn/3/211/21021/21021-19.png
http://reply.papertrans.cn/3/211/21021/21021-20.png