شماره ركورد كنفرانس :
4302
عنوان مقاله :
RESULTS ON EQUALITY ALGEBRAS
پديدآورندگان :
BORZOOEI R. A. borzooei@sbu.ac.ir Department of Mathematics, Shahid Beheshti University, Tehran, Iran. , ZAREAN M. zarean88@yahoo.com Department of Mathematics, Payamnour University, Tehran, Iran , ZAHIRI O. zahiri@protonmail.com University of Applied Science and Technology, Tehran, Iran
كليدواژه :
Equality algebra , involutive equality algebra , residuated lattice , Boolean , algebra
عنوان كنفرانس :
هشتمين سمينار تخصصي ابر ساختارهاي جبري و رياضيات فازي
چكيده فارسي :
Equality algebras were introduced in [4] by Jenei, that the motivation cames from EQ-algebra, which is closely related to BCK-algebras with meet. Now, in this paper, first we state some properties of involutive equality algebras and show that every linearly ordered 0-compatible equality algebra has a (~_0)-involutive subalgebra. Also we show that every (~_0)-involutive equality algebra A is a lattice and under a condition it is distributive. Finally, we find a relation between 0-compatible equality algebras, residuated lattices, and Boolean algebras.