1、
2、
本文给出C B代数与Lu3代数同构的详细证明，并得到了Lukasiewivcz三值逻辑代数在二值逻辑代数上的可构造性。
互联网摘选
3、
4、
然后讲述了逻辑学与概率论两大理论基础之上的不确定性推理方法&概率逻辑，重点研究了二值概率逻辑与三值概率逻辑。
互联网摘选
5、
Type of conclusions and classification of theories in two-valued propositional logic
二值命题逻辑理论的结论类型和分类
互联网摘选
6、
在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集。
互联网摘选
