Published Online: Sep 21, 2017
Page range: 177 - 194
Received: Dec 15, 2015
Accepted: Apr 30, 2016
DOI: https://doi.org/10.1515/auom-2017-0014
Keywords
© 2017
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.