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