شماره ركورد كنفرانس
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
تعداد صفحه
6
كليدواژه
Equality algebras , quasi equality algebra , quasi BCK , meet , semilattice.
سال انتشار
1396
عنوان كنفرانس
هفدهمين كنفررانس ملي سيستم هاي فازي، پانزدهمين كنفرانس ملي سيستم هاي هوشمند و ششمين كنگره ملي مشترك سيستم هاي فازي و هوشمند ايران
زبان مدرك
انگليسي
چكيده فارسي
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.
كشور
ايران
لينک به اين مدرک