2014/05/22 by Anatolij Dvurečenskij, Dvurečenskij, Anatolij, Omid Zahiri +1
Computer Science · Decision Sciences · #03G25 #06F05 #06F35 #Advanced Algebra and Logic #Commutative Algebra (math.AC) #FOS: Mathematics #Fuzzy and Soft Set Theory #Rings and Algebras (math.RA) #Rough Sets and Fuzzy Logic
paper · pdf · doi:10.48550/arxiv.1405.5807
openalex publication_date 2014/05/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Recently Jenei introduced a new structure called equality algebras which is inspired by ideas of BCK-algebras with meet. These algebras were generalized by Jenei and Kóródi to pseudo equality algebras which are aimed to find a connection with pseudo BCK-algebras with meet. We show that every pseudo equality algebra is an equality algebra. Therefore, we define a new type of pseudo equality algebras which more precisely reflects the relation to pseudo BCK-algebras with meet in the sense of Kabziński and Wroński. We describe congruences via normal closed deductive systems, and we show that the variety of pseudo equality algebras is subtractive, congruence distributive and congruence permutable.