Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L_3

三 值命题逻辑系统L 3~中逻辑理论性态的拓扑刻画拓扑描绘字，拓扑描述符

Determinant algorithm of Sheffer function in partial three-valued logic

部分 三 值逻辑中 Sheffer函数的判定算法