ANALELE STIINTIFICE ALE UNIVERSITATII OVIDIUS CONSTANTA-SERIA MATEMATICA, v. 25, no. 1, page. 177-194
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.