欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
对三值命题逻辑系统L3^＊中逻辑理论的相容性、全发散性以及逻辑闭性给出了它们在三值逻辑度量空间（F（S）,ρ3）中的拓扑刻画.证明了闭理论Γ相容当且仅当Γ不含内点,当且仅当Γ具有真度遗漏性质,当且仅当Γ不含非空正则球面;证明了理论Γ全发散当且仅当其逻辑闭包在（F（S）,ρ3）中稠密.还证明了有限理论Γ的逻辑闭包是（F（S）,ρ3）中的拓扑闭集.
英文摘要：
Let（F（S）,ρ3） be the three-valued logic metric space.The present paper characterizes consistency,full divergency and logical closedness of theories in propositional logic system L_3~＊ by means of topological concepts in the three-valued logic metric space.It is proved that a closed theoryΓis consistent iff it contains no interior points, iff it possesses the truth-forget property,iff it contains no non-empty regular sphere.It is also proved that a theoryΓis fully divergent iff its logic closure is dense in（F（S）,ρ3）. Finally,it is proved that the logic closure of finite theory is closed in（F（S）,ρ3）.
同期刊论文项目
同项目期刊论文
期刊信息
位置：