中国科学院数学与系统科学研究院期刊网
三值命题逻辑系统L*3中逻辑理论性态的拓扑刻画
折延宏, 王国俊
Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L*3
Yan Hong SHE, Guo Jun WANG
数学学报 . 2009, (6): 1225 -1234 .  DOI: 10.12386/A2009sxxb0153