| 二值命题逻辑中理论的发散性、相容性及其拓扑刻画 |
| |
| 引用本文： | 王国俊,折延宏.二值命题逻辑中理论的发散性、相容性及其拓扑刻画[J].数学学报,2007,50(4):841-850. |
| |
| 作者姓名： | 王国俊 折延宏 |
| |
| 作者单位： | 陕西师范大学数学研究所，陕西师范大学数学研究所 西安710062 西安交通大学基础科学研究中心 西安710049，西安710062 |
| |
| 基金项目： | 国家自然科学基金重点项目(10331010) |
| |
| 摘 要： | 在二值命题逻辑系统中基于逻辑度量空间(F(S),ρ)而建立起了逻辑理论的发散性、相容性和理论的拓扑性质之间的联系。证明了逻辑理论Г是全发散的当且仅当D(Г)在(F(S),ρ)中稠密,闭理论Г是相容的当且仅当Г在(F(S),ρ)中不含内点,证明了(F(S),ρ)是零维空间,并具有一种类似于樊畿性质的所谓“有限等球连通性”．
|
| 关 键 词： | 逻辑度量空间 理论 发散度 |
| 文章编号： | 0583-1431（2007）04-0841-10 |
| 收稿时间： | 2006-3-13 |
| 修稿时间： | 2006-03-13 |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《数学学报》浏览原始摘要信息 |
| 点击此处可从《数学学报》下载免费的PDF全文 |
|
