BCK-代数的不分明化理想

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

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

在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,将用集论所刻画的BCH-代数与理想的概念在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化BCH-代数中的理想、闭理想及q理想的有关性质。

不分明化 BCK-代数(英文)

在 BCK-代数中定义了不分明化子代数和不分明化理想的概念 。

BCK-代数的广义(∈,∈∨q)-模糊蕴涵理想

为推广BCK-代数的(∈,∈∨q)-模糊蕴涵理想,引入了(∈,∈∨q_k)-模糊蕴涵理想的概念,研究了相关性质;指出了模糊蕴涵理想和(∈,∈∨q)-模糊蕴涵理想都是(∈,∈∨q_k)-模糊蕴涵理想,反之不然;给出了BCK-代数的模糊子集成为(∈,∈∨q_k)-模糊蕴涵理想的条件;证明了(∈,∈∨q_k)-模糊蕴涵理想都是(∈,∈∨q_k)-模糊理想,用实例说明其逆命题不真;给出了(∈,∈∨q_k)-模糊蕴涵理想的若干等价刻画,讨论了BCK-代数的基于蕴涵的模糊蕴涵理想。

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

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

基于连续值逻辑之BCK-代数的不分明蕴涵理想

在连续值逻辑的语义框架下,我们用连续值逻辑上的一元谓词演算方法引入了不分明BCK-蕴涵理想的概念,研究了几种不分明理想的若干性质及其之间一些关系。