Fuzzy BCC-algebra and Fuzzy BCC-ideal

引入ＦＵＺＺＹＢＣＣ－代数、ＦＵＺＺＹＢＣＣ－理想的概念，讨论了它们的性质，从而将ＦＵＺＺＹＢＣＫ－代数的有关结果推广到ＢＣＣ－代数上．

BCC-Algebras and BCK-Algebras

We investigate some properties of BCC-algebras and prove the following results: (1)any BCC-algebra X has a subalgebra (2) the dual algebra of Z(X) is a BCK-algebra.

BIK^+-逻辑与非可换模糊逻辑

引入BIK+-逻辑的概念,证明了BIK+-逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK+-逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系。

BCC-代数的不分明化理想(英文)

通过一元谓词和采用格值逻辑语义方法推广了不分明化BCC-代数,引入了BCC-代数的不分明化BCH-子代数、不分明化BCK-理想和不分明化BCC-理想的概念,讨论了它们的性质和它们间的关系.研究了BCC-代数的不分明化BCH-子代数(不分明化BCK-理想、不分明化BCC-理想)的同态象和同态原象,讨论了BCC-代数的不分明化BCH-子代数(不分明化BCK-理想、不分明化BCC-理想)的积代数的性质.

强剩余BCC-代数及其正规素滤子定理

作为各种非可换模糊逻辑代数的推广,引入剩余BCC-代数及强剩余BCC-代数的概念,研究了它们与psMTL-代数、pseudo-hoop等代数结构的关系。研究了剩余BCC-代数滤子的基本性质,建立了剩余BCC-代数的商代数理论;引入剩余BCC-代数的正规滤子概念,证明了强剩余BCC-代数的正规素滤子定理,从而拓广了相应逻辑代数滤子理论的已有结果。

软BCC-理想与理想的软BCC-代数

将软集理论用于BCC-代数中,引入了软BCC-理想和理想的软BCC-代数之概念,并给出了几个实例,建立了软BCC-理想、理想的软BCC-代数的交、并及"且"运算,讨论了软BCC-理想、理想的软BCC-代数及它们同态象之间的关系。

软BCC-代数

引入了软BCC-代数和BCC-代数的软子代数的概念,给出了几个实例说明这两个概念.建立了软BCC-代数和BCC-代数的软子代数上的交、并、"和"与"或"运算,研究了软BCC-代数与软子代数之间的关系,并讨论了它们的同态象之性质.