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

摘要：

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

关键词：(L)ukasiewicz模糊命题逻辑、极大相容理论、满足性定理、紧致性定理

所属期刊栏目：39

分类号：O142(数理逻辑、数学基础)

资助基金：国家自然科学基金资助项目61005046;陕西省自然科学基础研究计划项目2010JQ8020

在线出版日期：2011-11-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1-4