-
题名形式系统L＊中极大相容逻辑理论的拓扑刻画
被引量：4
- 1
-
-
作者
周红军
-
机构
陕西师范大学数学与信息科学学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第12期2895-2899,共5页
-
基金
国家自然科学基金(No.61005046)
教育部高等学校博士学科点专项科研基金(No.20100202120012)
+1 种基金
陕西省自然科学基础研究计划(No.2010JQ8020)
中央高校基本科研业务费专项资金(No.GK200902048)
-
文摘
进一步研究了形式系统L*中极大相容理论的Stone拓扑性质,给出了开、闭集的结构刻画;在全体极大相容理论之集上引入了一种三值拓扑,证明该拓扑空间是零维的、覆盖式紧的和Hausdorff的;最后讨论了上述三值拓扑与Stone拓扑间的联系.为建立基于形式系统L*的知识推理理论奠定基础.
-
关键词
形式系统l＊
极大相容理论
Cantor空间
三值拓扑
-
Keywords
formal system l＊
maximally consistent theory
Cantor space
three-valued topology
-
分类号
O142
[理学—数学]
-
-
题名BL~＊系统的一种扩张及相关性质
被引量：1
- 2
-
-
作者
张琼
吴洪博
-
机构
陕西师范大学数学与信息科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第19期36-38,共3页
-
基金
国家自然科学基金(No.10871121)~~
-
文摘
对BR0代数,Boole代数以及BL*系统,命题演算形式系统L进行了研究。首先讨论了BR0代数与Boole代数间的相互关系,随后在BL*系统中分别添加公理模式(A→B)A∨B或(A→(B→C))→(A∧B→C)得到BL*系统的两种扩张,并证明了BL*系统的这两种扩张与命题演算形式系统L之间是等价的。
-
关键词
模糊逻辑
命题演算
BR0代数
BOOlE代数
Bl＊系统
形式系统l
-
Keywords
fuzzy logic
propositional calculus
BR0 algebra
Boolean algebra
Basis system l
Propositional calculus system l
-
分类号
O141.1
[理学—数学]
-
-
题名关于形式系统L^(*)的强完备性
被引量：3
- 3
-
-
作者
裴道武
-
机构
同济大学计算机科学与工程系
盐城师范学院数学系
-
出处
《工程数学学报》
CSCD
北大核心
2005年第1期128-132,共5页
-
基金
国家973项目(2003CB316902)
国家自然科学基金项目(60475019).
-
文摘
进一步讨论了形式系统 L? 中的一般演绎推理及强完备性问题。对于任意的公式集 Γ, 引入一种 新的代数结构—R0(Γ) 代数, 利用子代数结构, 代数滤子理论及次直积分解理论等代数工具, 证明 了系统 L? 的强完备性定理。
-
关键词
模糊逻辑
形式系统l^(%MUl%)
R_(0)(Γ)代数
强完备性
-
Keywords
fuzzy logic
formal system l^(%MUl%)
R_(0)(Γ)algebra
strong completeness
-
分类号
O175.2
[理学—数学]
-
