文献类型：期刊文章

作　　者：折延宏[1] 王国俊[1,2]

机构地区：[1]陕西师范大学数学研究所,西安710062 [2]西安交通大学基础科学研究中心,西安710049

出　　处：《数学学报（中文版）》

基　　金：国家自然科学基金资助项目(10771129);陕西师范大学博士研究生创新基金(2008CXB017);陕西师范大学211工程建设基金资助项目

年　　份：2009

卷　　号：52

期　　号：6

起止页码：1225-1234

语　　种：中文

收录情况：BDHX、BDHX2008、CSCD、CSCD2011_2012、IC、INSPEC、JST、MR、RCCSE、SCIE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：对三值命题逻辑系统L3^＊中逻辑理论的相容性、全发散性以及逻辑闭性给出了它们在三值逻辑度量空间（F（S）,ρ3）中的拓扑刻画.证明了闭理论Γ相容当且仅当Γ不含内点,当且仅当Γ具有真度遗漏性质,当且仅当Γ不含非空正则球面;证明了理论Γ全发散当且仅当其逻辑闭包在（F（S）,ρ3）中稠密.还证明了有限理论Γ的逻辑闭包是（F（S）,ρ3）中的拓扑闭集.

关 键 词：命题逻辑系统L3^＊  三值逻辑度量空间  相容性

分 类 号：O172.2[数学类] O174.12]