شماره ركورد كنفرانس :
4330
عنوان مقاله :
Quasi Equality Algebras
عنوان به زبان ديگر :
Quasi Equality Algebras
پديدآورندگان :
Borzooei .R. A borzooei@sbu.ac.ir Shahid Beheshti University , Zebardast .F zebardastfathme@gmail.com Payame Noor University, Tehran
كليدواژه :
Equality algebras , quasi equality algebra , quasi BCK , meet , semilattice.
عنوان كنفرانس :
هفدهمين كنفررانس ملي سيستم هاي فازي، پانزدهمين كنفرانس ملي سيستم هاي هوشمند و ششمين كنگره ملي مشترك سيستم هاي فازي و هوشمند ايران
چكيده فارسي :
Equality algebras were introduced by S. Jenei as a possible algebraic semantic
for fuzzy type theory. In this paper, we introduce a commutative generalization of equality
algebras, called quasi equality algebras. We present some properties of them and generalize
the concepts of BCK-algebras to quasi BCK-algebras and find that under which conditions,
quasi equality algebras are equivalent to quasi BCK-meet-semilattices.
چكيده لاتين :
Equality algebras were introduced by S. Jenei as a possible algebraic semantic
for fuzzy type theory. In this paper, we introduce a commutative generalization of equality
algebras, called quasi equality algebras. We present some properties of them and generalize
the concepts of BCK-algebras to quasi BCK-algebras and find that under which conditions,
quasi equality algebras are equivalent to quasi BCK-meet-semilattices.
