A.R. Anderson & N.D. Belnap, JR.. “A Simple Treatment of Truth Function”, The Journal of Symbolic Logic, 1959(4), 301-302;
H.B. Enderton. A Mathematical Introduction to Logic. Academic Press,Inc.,1972;
M. Fitting. First Order Logic and Automated Theorem Proving, 2nd edition, Springer Verlag, 1996;
G. Hunter. Metalogic: an Introduction to the Metatheory of Standard First Order Logic, Macmillan and Co. Ltd., 1971;
A.S. Troelstra & H. Schwichtenberg. Basic Proof Theory, 2nd edition, Cambridge University Press, 2000;
宋文淦:《符号逻辑基础》,北京师范大学出版社,1993年;
刘新文:“以广义析舍和存在量词为初始符号的一阶系统”,《哲学研究》(逻辑学专刊),2003年;
张清宇:“不用联结词和量词的一阶逻辑系统”,《哲学研究》,1996年第5期;
张清宇:“经典命题逻辑的一个公理系统”,《哲学研究》,1997年第8期;
张清宇、郭世铭、李小五:《哲学逻辑研究》,社会科学文献出版社,1997年。
(原载《湖南科技大学学报,2005年第2期。录入编辑:神秘岛)