基于L~*-格值逻辑上的BCK-代数中直觉不分明化理想

在L~*-格值逻辑的语义框架下,以L~*-格值上的Lukasiewicz蕴涵算子为工具定义了L~*-格值逻辑上的直觉不分明化BCK-代数的概念,将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L~*-格值谓词演算下给予了新的刻画,讨论了它们的性质及其关系,研究了这些理想与其同态象、同态原象之间关系,获得了同类理想之积仍为该类理想.     

BCH-代数的Ω-模糊点理想

引入BCH-代数的Ω-模糊点理想的概念,给出了它的几个实例,研究了它们的一些性质.讨论了Ω-模糊理想与Ω-模糊点理想的关系,获得了Ω-模糊点理想的几个等价描述,研究了Ω-模糊点理想的同态像与同态原像的性质,给出了BCH-代数的Ω-模糊点理想与BCH-代数之积代数的Ω-模糊点理想的关系, 讨论了模糊点理想与Ω-模糊点理想之间的相互构造.     

效应代数的不分明化滤子

在连续格值逻辑的语义框架下,以Lukasiewicz蕴涵算子为工具定义了连续格值逻辑上的效应代数之不分明化滤子的概念,将用G.Cantor集合理论所刻画的效应代数的滤子概念在连续格值谓词演算下给予重新刻画,给出了不分明滤子的几个等价描述和性质.在两个经典效应代数的效应态射与效应同构意义下,讨论了这种不分明滤子的像和前像问题.     

基于完备剩余格值逻辑的BCI-代数的三种模糊理想

通过完备剩余格值逻辑中一元模糊谓词，将经典BCI-代数中的p-理想、q-理想和a-理想进行重新刻画，引入了BCI-代数的l-值模糊p-理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法，研究这三种l-值模糊理想的性质及关系，推广了经典模糊情形下相应的现有结论。     

基于完全剩余格值上的模糊化环与理想

给出基于完全剩余格值逻辑上的不分明化环和理想（格上不分明化环和理想）两个概念。并进一步研究它们的一些基本代数性质。主要得到格上不分明化理想的交，和，积和商仍是格上不分明化理想。     

BCH-代数的闭模糊理想

引入了BCH-代数的闭模糊理想、子代数及优BCH-代数的概念,讨论它们的性质,获得若干结果。     

BCH-代数的拟结合理想和拟结合模糊理想

在BCH-代数中,引入了拟结合理想和模糊拟结合理想的概念.研究了BCH-代数中模糊拟结合理想的相关性质,给出了BCH-代数拟结合理想的构造.     

BCH-代数的模糊H-理想的某些构造性质

讨论了BCH-代数的Fuzzy H-理想的某些构造性质,如Fuzzy H-理想的Cartesian积等.     

BCK/BCI-代数的Ω-模糊点理想

给定Ω-集合，引入BCK／BCI-代数的Ω-模糊点理想的概念，给出合适的例子。同时，将Ω-模糊点理想与模糊点理想进行相互刻画。     

可换BCH-代数

引入了可换BCH-代数的概念,给出了可换BCH-代数的两个充要条件.对偏序可换BCH-代数进行了讨论,给出了偏序BCH-代数是可换的两个充要条件.证明了偏序可换BCH-代数的每个分支是一个下半格,局部有界偏序可换BCH-代数的每个分支是一个格.