| 多值命题逻辑中逻辑理论的拓扑刻画 |
| |
| 引用本文： | 高菲菲,王国俊. 多值命题逻辑中逻辑理论的拓扑刻画[J]. 模糊系统与数学, 2008, 22(2): 24-30 |
| |
| 作者姓名： | 高菲菲 王国俊 |
| |
| 作者单位： | 陕西师范大学,数学与信息科学学院,陕西,西安,710062 |
| |
| 摘 要： | 基于多值Lukasiewicz命题逻辑系统Ln中的计量逻辑学理论。研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系,并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画。
|
| 关 键 词： | 真度 逻辑度量空间 相容性 闭逻辑理论 闭集 |
| 文章编号： | 1001-7402(2008)02-0024-07 |
| 修稿时间： | 2007-01-25 |
A Topological Charaterization of Logic Theory in Many-valued Propositional Logic |
| |
| GAO Fei-fei,WANG Guo-jun. A Topological Charaterization of Logic Theory in Many-valued Propositional Logic[J]. Fuzzy Systems and Mathematics, 2008, 22(2): 24-30 |
| |
| Authors: | GAO Fei-fei WANG Guo-jun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
