BCK-代数的不分明化理想 (2010年)

用一元谓词和连续格值逻辑的语义方法，引入了不分明化左（或右）可约理想、不分明化理想、不分明化蕴涵理想的概念，研究了不分明化可约理想、不分明化理想、不分明化正定蕴涵理想和不分明化蕴涵理想的某些特征，讨论了它们的性质和关系，研究了这些不分明化理想与其同态象、同态原象关系，获得了两个同种类型的不分明化理想之积仍为该种不分明化理想。