This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
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.