一类(L)ukasiewicz n+1值逻辑系统中VDF问题的求解理论

为在经典逻辑学中建立Fuzzy分离规则的推理模式，由赋值决定公式问题（简称VDF问题）已经提出，并已在二值命题逻辑L和p＋1（p为素数）值Lukasiewicz命题逻辑中得到了解决，但是对一般的n＋1（n〉3且n不是素数）值Lukasiewicz命题逻辑系统L（n＋1），VDF问题相当复杂且尚未解决．本文尝试在一类特殊的n＋1值Lukasiewicz命题逻辑系统L（n＋1），即L（n＋1）的赋值域W（n＋1）的所有子代数在包含序下构成一个链中建立VDF问题的求解理论，并完满地解决了这类n＋1值Lukasiewicz命题逻辑系统L（n＋1）中的VDF问题．     

R_0代数中素滤子的拓扑性质

首先讨论了R_0代数M中MP滤子、素滤子的基本性质,然后通过自然的方式在M的全体素滤子之集PF_(IL)(M)上构造拓扑,证明了PF_(IL)(M)是紧致的T_0空间.最后把PF_(IL)(M)上的拓扑限制在M的全体极大滤子之集MF_(IL)(M)上,得到MF_(IL)(M)是紧致的Hausdorff空间.     

经典命题逻辑中的近似推理与强近似推理

基于命题逻辑公式之间相似度的概念,在经典命题逻辑系统中提出了两种近似推理模式,得到了它们的一些基本性质。讨论了这两种推理模式与经典推理模式之间的关系。此外,当理论Γ有限时,本文分别给出Γ在α程度上近似推出公式A和理论Σ的充要条件。最后,我们给出公式A与有限理论Γ的结论集D(Γ)之间距离的计算公式。     

${R}_{0}$代数中的滤子格

Abstract In the present paper, some basic properties of MP filters of Ro algebra M are investigated. It is proved that（FMP（M）,包含,′∧^-∨^-,{1},M）is a bounded distributive lattice by introducing the negation operator ′, the meet operator ∧^-, the join operator ∨^- and the implicati on operator → on the set FMP（M） of all MP filters of M. Moreover, some conditions under which （FMP（M）,包含,′∨^-,→{1},M）is an Ro algebra are given. And the relationship between prime elements of FMP （M） and prime filters of M is studied. Finally, some equivalent characterizations of prime elements of .FMP （M） are obtained.     

Boole代数中极大滤子的刻画与Cantor三分集

清楚地刻画出有限和由无限可数个基本元生成的Boole代数中极大滤子的具体结构,在全体极大滤子之集上通过自然的方式引入一种紧致的Hausdorff拓扑,证明了当Boole代数可由无限可数个基本元生成时所得的拓扑空间与Cantor三分集同胚.