格蕴涵代数的关联理想与模糊关联思想

本文提出了格蕴涵代数的关联理想和模糊关联理想的概念，讨论了它们的性质，指出了关联理想与理想、关联理想与关联滤子、关联理想与模糊关联理想、模糊关联理想与模糊关联滤子、模糊关联理想与模糊理想之间的关系。     

亚BCI-代数的模糊理想

引入了亚BCI-代数的模糊子代数、模糊理想、闭模糊理想和模糊P-理想的概念,研究了它们的性质。证明了模糊子代数(模糊理想、闭模糊理想、模糊P-理想)的同态像与同态原像仍能成为模糊子代数(模糊理想、闭模糊理想、模糊P-理想)。     

正则剩余格上的模糊理想及模糊蕴涵理想

对正则剩余格的结构作进一步研究。利用正则剩余格上、算子并结合模糊数学的思想和方法,在正则剩余格上引入了模糊理想和模糊蕴涵理想的概念,讨论了它们的基本性质。主要结果是:(1)给出了模糊理想和模糊蕴涵理想的等价刻画;(2)证明了模糊蕴涵理想一定是模糊理想,模糊理想不必是模糊蕴涵理想;(3)证明了全体模糊理想之集在给定的运算下是一个完备的分配格。     

BCI-代数的余模糊理想

在BCI-代数中引入了余模糊理想的概念,讨论了它的某些性质,研究了BCI-代数的模糊理想和余模糊理想的关系.特别是,给出了一个如何由一个模糊子集生成一个余模糊理想和闭余模糊理想的过程.     

半群的模糊理想和模糊同余

引入半群上模糊理想、模糊同余的概念。给出它们的一些等价刻划,证明了一个半群上所有模糊同余关系作成一个格。最后,给出模糊理想的积和模糊同余关系的积的概念,讨论了它们的一些性质。     

模糊分配格的一个内部刻画

主要通过对模糊次极大理想和模糊滤子极大理想的性质的研究,给出了模糊分配格的一个内部刻画。     

半环上的素、半素、完全素、完全半素模糊理想

引出半环中模糊点生成的模糊理想的定义,讨论了它的一些性质,并用它刻画了半环中素、半素、完全素、完全半素模糊理想,最后讨论了这几类理想的关系。     

格蕴涵代数的关联理想与模糊关联理想(英文)

本文提出了格蕴涵代数的关联理想和模糊关联理想的概念 ,讨论了它们的性质 ,指出了关联理想与理想、关联理想与关联滤子、关联理想与模糊关联理想、模糊关联理想与模糊关联滤子、模糊关联理想与模糊理想之间的关系     

半群的模糊理想及生成模糊理想

研究半群的模糊理想,利用λ-截集、确界原理对半群的模糊理想作进一步讨论,给出生成模糊理想的构造.     

模糊子格与模糊子格上的模糊理想

借助格L上的二元运算∨,∧,诱导了格L上的模糊子集之间的二元运算∨,∧,并利用其对格L上的模糊子格和模糊理想进行了刻画。随后,给出了格L上的模糊子格的模糊理想的概念,并讨论了相关性质。     

赋范BCK-代数与模糊BCK-代数

在BCK－代数中引入范数的概念,给出赋范BCK－代数中的一些基本结果,讨论了有界赋范BCK－代数与模糊BCK－代数的一些联系。     

FI代数,BCK代数与关联半群

文献［１］讨论了Ｆｕｚｚｙ蕴涵代数（简称为ＦＩ代数）与ＭＶ代数、格蕴涵代数之间的关系,本文进一步讨论了ＦＩ代数与有界关联ＢＣＫ代数、关联半群的联系,并应用ＦＩ代数方法简化了ＢＣＫ代数中某些定理的证明。     

BCH-代数的模糊理想与模糊H-理想

在BCK／BCI／BCC代数中Fuzzy理想被广泛研究，但在BCH-代数中还没有讨论过。在BCH-代数中引人了Fuzzy理想与FuzzyH-理想的概念，并讨论它们的性质。     

关于BCK代数的模型论性质

This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model complete, and hence there exist no built-in Skolem function. Moreover, the ultraproduct BCK algebras and the fuzzy ultraproduct of fuzzy subsets of BCK algebras were proposed by using the concept of ultrafilters with corresponding properties of fuzzy ideals discussed.     

正则FI代数的若干性质

讨论正则FI代数的若干性质。在研究FI代数与Boole代数间关系的同时,给出正则FI代数与BCK代数的另一种联系方式。     

BCK-代数的模糊代数理想

在有界可换BCK-代数上引入了Fuzzy代数理想的概念，给出了Fuzzy代数理想的某些特征，讨论了Fuzzy理想与Fuzzy代数理想的关系。最后描述了全体Fuzzy集的BCK-代数特征。     

Fuzzy代数直积的一些性质

首先给出了Fuzzy代数直积的一些性质,然后讨论了Fuzzy商代数的直积结构.     

BCH-代数的闭模糊理想

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

Notes on “A survey of fuzzy implication algebras and their axiomatization”

In this note, we present a correction of Theorem 2 in the paper [1], and show that all the conditions (I1)–(I5) in the definition of fuzzy implication algebras are independent of each other. In addition, we prove that the class of all commutative fuzzy implication algebras forms an equational algebra class.     

Local pseudo-BCK algebras with pseudo-product

Pseudo-BCK algebras were introduced by G. Georgescu and A. Iorgulescu as a generalization of BCK algebras in order to give a corresponding structure to pseudo-MV algebras, since the bounded commutative BCK algebras correspond to MV algebras. Properties of pseudo-BCK algebras and their connections with other fuzzy structures were established by A. Iorgulescu and J. Kühr. The aim of this paper is to define and study the local pseudo-BCK algebras with pseudo-product. We will also introduce the notion of perfect pseudo-BCK algebras with pseudo-product and we will study their properties. We define the radical of a bounded pseudo-BCK algebra with pseudo-product and we prove that it is a normal deductive system. Another result consists of proving that every strongly simple pseudo-hoop is a local bounded pseudo-BCK algebra with pseudo-product.