中国科学院数学与系统科学研究院期刊网
二值命题逻辑中理论的发散性、相容性及其拓扑刻画
王国俊;折延宏;
Topological Description of Divergency and Consistency of Two-Valued Propositional Theories
Guo Jun WANG; Yan Hong SHE
数学学报 . 2007, (4): 841 -850 .  DOI: 10.12386/A2007sxxb0098