剩余偏序集及其与FI代数的关系

给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足（ab）→c=a→（b→c）,那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图.     

区间集上非交换剩余格Fuzzy布尔滤子的特征性质简

运用区间集思想方法、滤子理论和广义Boole格,引入了区间集上非交换剩余格Fuzzy布尔滤子的定义,给出了区间集上非交换剩余格Fuzzy布尔滤子的等价刻画表示定理和特征性质.     

BL△*系统中理论的△-根及广义△-MP问题

对BL*系统进行了研究.结合Petr Hajek的观点,在BL*系统中添加了一元逻辑连接词△,得到BL*系统的一种扩张BL△*系统.随后在BL△*系统中提出了理论的△-根的概念,并对其基本性质进行了研究.最后提出了广义与集体广义△-MP问题,定义了上述问题在语构意义下的解,并对解的存在性进行了讨论.     

R_0代数中素理想的拓扑性质

讨论了R0代数中理想、素理想的基本性质,在R0代数M的全体理想集I(M)上定义了格运算,证明了如此定义的格是有界分配格.在M的全体素理想之集PI(M)上构造了拓扑,证明了PI(M)是紧致的T0空间.     

(￡)*系统中的模糊演绎定理的改进形式

研究了模糊命题演算的形式演绎系统(￡)*.对其中的演绎定理进行了详细讨论,得到了在一定条件下的(￡)*系统中的演绎定理:设A,B∈F(S),若|-(q→-p ∨ p)∨q→A,Г(￡)F(S),则Г|-A→B当且仅当Г∪{A}|-B.将(￡)*系统中的模糊演绎定理进行了改进,进一步说明了(￡)*系统所具有的良好性质.同时,在本文定理的证明中进一步体现了(￡)*系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法.     

区间集上非交换剩余格广义fuzzy奇异滤子的特征刻画

在研究区间集思想、滤子理论和奇异概念的基础上,给出了区间集上非交换剩余格与区间集上非交换剩余格广义fuzzy奇异滤子的定义,得到了I(2~U)的广义fuzzy奇异滤子的基本结构特征与基本性质表示定理,以凸显基于非交换逻辑的区间集上非交换剩余格的代数结构的多样性。     

￡~*-Lindenbaum代数中的滤子

利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)∕～中的运算,在F(S)∕～中定义了滤子,讨论了滤子的性质,得到了F(S)∕～中的滤子都有形如的形式.     

逻辑系统,W,W_k中F(S)的一个分划及其升级算法的性质

研究了逻辑系统W ,W ,Wk 中F(S)的分划问题及其升级算法的一些性质 .分别在W ,W ,Wk 中利用可达广义重言式的概念给出F(S)的一个关于 同余的分划 ,并证明了 :在W (W )中 ,重言式不可能由对非重言式利用升级算法得到 ;在Wk中 ,对任一公式最多进行 k 12 次升级算法即可得到重言式 .     

逻辑系统(-W),W,Wk中F(S)的一个分划及其升级算法的性质

研究了逻辑系统(-W),W,Wk中F(S)的分划问题及其升级算法的一些性质.分别在(-W),W,Wk中利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并证明了:在(-W)(W)中,重言式不可能由对非重言式利用升级算法得到;在Wk中,对任一公式最多进行[k+1/2]次升级算法即可得到重言式.     

WBR0-代数的正则性及与其他逻辑代数的关系

 通过对正则剩余格和WBR₀-代数的深入研究, 进一步明确了WBR₀-代数与其他逻辑代数之间的关系。 主要结果有: (1)证明了正则剩余格与WBR₀-代数是相同的代数结构;(2)通过联络图表列举了WBR₀-代数与其他经典逻辑代数之间的联系,体现了WBR₀-代数在逻辑代数中的地位与作用;(3)通过构造WBR₀-代数的实例说明WBR₀-代数与其他逻辑代数之间的区别。