Hatef College UniversityJournal of Algebraic Hyperstructures and Logical Algebras2676-60003220220501Positive implicative equality algebras and equality algebras with some types698614830110.52547/HATEF.JAHLA.3.2.6ENM.Aaly KologaniHatef Higher Education Institute, Zahedan, IranX.L.XinSchool of Mathematics, Northwest University, Xi'an 710127, ChinaY.B.JunDepartment of Mathematics Education, Gyeongsang National University, Jinju 52828, Korea0000-0002-0181-8969M.Mohseni TakalloDepartment of Mathematics, Faculty of Mathematical Sciences, Shahid Beheshti University, Tehran, Iran0000-0002-4113-3657Journal Article20220417The 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.<br /> http://jahla.hatef.ac.ir/article_148301_2c76b3baf6848a8d0f0dc689b1713291.pdf