… of equality algebras, and we call the closed algebras equivalential. We show that equivalential
equality algebras are term equivalent with BCK-algebras with … of BCK-algebras with meet. …

… considering the notion of equality algebra, which is … equality algebras and some of other
logical algebras such as residuated lattice, MTL-algebra, BL-algebra, MV-algebra, Hertz-algebra…

A new structure, called pseudo equality algebras, will be introduced. It has a constant and
three connectives: a meet operation and two equivalences. A closure operator will be …

… of algebras called equality algebras. We establish their connection to BCK-algebras which
are … lattices: Equivalential equality algebras which form a subclass of equality algebras will be …

… equality algebras introduced by Jenei as a possible algebraic semantic for fuzzy type theory.
We define and study the pointed equality algebras … of linearly ordered equality algebras. …

… involving equality, we introduce the notion of an equality algebra. It is a universal algebra
A … -semilattice with top element 1, called internalised equality, and satisfying, for all x, y GA, …

… sate (statemorphism) equality algebra (A, σ), … an equality algebra is a state-morphism if it
is equality-homomorphism. Finally, we study some classes of state-morphism equality algebras …

… a new type of algebras, called JK-algebras, generalizing equality algebras and we … of
algebras generalizing equality algebras that will not imply that they are in fact equality algebras. …

… involutive prelinear equality algebra E is a Boolean ideal if and only if E I is a Boolean algebra.
… Finally, we prove that ideal I of involutive prelinear equality algebra E is a Boolean ideal if …

… , and prime filters in equality algebras and we prove some … equality algebra induced by
an implicative filter is a Boolean algebra, by a fantastic filter is a commutative equality algebra, …