Submitted on: 26 October 2005.
Revised on: 05 December 2005.
Accepted on: 24 December 2005.
___________________BULLETIN OF SYMBOLIC LOGIC---CAMBRIDGE UNIV PRESS
http://reply.papertrans.cn/1/44/4340/4340-12.png
http://reply.papertrans.cn/1/44/4340/4340-13.png
Submitted on: 09 March 2004.
Revised on: 05 June 2004.
Accepted on: 26 July 2004.
___________________BULLETIN OF SYMBOLIC LOGIC---CAMBRIDGE UNIV PRESS
http://reply.papertrans.cn/1/44/4340/4340-15.png
http://reply.papertrans.cn/1/44/4340/4340-16.png
Submitted on: 29 August 2004.
Revised on: 19 September 2004.
Accepted on: 28 October 2004.
___________________BULLETIN OF SYMBOLIC LOGIC---CAMBRIDGE UNIV PRESS
http://reply.papertrans.cn/1/44/4340/4340-18.png
http://reply.papertrans.cn/1/44/4340/4340-19.png
http://reply.papertrans.cn/1/44/4340/4340-20.png