(L)ukasiewicz模糊命题逻辑中极大相容理论的结构和拓扑刻画

• 作者: 周红军
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: (L)ukasiewicz模糊命题逻辑 极大相容理论 满足性定理 紧致性定理
• 年，卷（期）: 2011,（1）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 1-4
• 分类号: O142
• 字数: 3788字
• 语种: 中文

摘要

通过研究(L)ukasiewicz模糊命题逻辑系统中极大相容理论的基本性质,证明了每个极大相容理论都是某赋值的核,反过来,每个赋值的核也都是一个极大相容理论.利用(L)ukasiewicz蕴涵算子的连续性在全体极大相容理论之集上引入了一种Fuzzy拓扑,证明了该Fuzzy拓扑空间是零维的、良紧的,但不是覆盖式紧的,其分明截拓扑空间是覆盖式紧的、可度量化的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周红军	陕西师范大学数学与信息科学学院	29	95	6.0	8.0