%0 Journal Article
%T Positive implicative equality algebras and equality algebras with some types
%J Journal of Algebraic Hyperstructures and Logical Algebras
%I Hatef College University
%Z 2676-6000
%A Aaly Kologani, M.
%A Xin, X.L.
%A Jun, Y.B.
%A Mohseni Takallo, M.
%D 2022
%\ 05/01/2022
%V 3
%N 2
%P 69-86
%! Positive implicative equality algebras and equality algebras with some types
%K (Commutative, positive implicative) equality algebra, &-equality algebra, equality algebra of type (m,n
%K i,j)
%R 10.52547/HATEF.JAHLA.3.2.6
%X The notion of a positive implicative equality algebras are defined, and related properties are studied. Characterizations of a positive implicative equality algebra is investigated. Conditions for an equality algebra to be positive implicative are provided. Equality algebra with some types is considered, and several properties are investigated. Using equality algebra with some types, we characterize a commutative equality algebra and a positive implicative algebra.
%U http://jahla.hatef.ac.ir/article_148301_2c76b3baf6848a8d0f0dc689b1713291.pdf