On BI-Algebras
Arsham Borumand Saeid, Hee Sik Kim, Akbar Rezaei · Analele Universităţii "Ovidius" Constanţa. Seria Matematică · 2017
Abstract In this paper, we introduce a new algebra, called a BI-algebra, which is a generalization of a (dual) implication algebra and we discuss the basic properties of BI-algebras, and investigate ideals and congruence relations.