EMBEDDING OF BOOLEAN ALGEBRA WITHIN THE FRAMEWORK OF BE-ALGEBRA

Abstract

Boolean algebra constitutes the core foundation of classical mathematical logic, whereas BE-Algebra generalizes the structure of BCK as well as BCI algebras. This paper investigates the structural relationship between Boolean algebra and BE-algebra, particularly focuses on the possibility of embedding Boolean algebraic structure within the boarder framework of BE-algebra. we prove that every Boolean algebra can be embedded into a BE-Algebra via the formulation of two suitable definitions of the implication like operation: one defining the binary operation on BE-Algebra as a relative complement and other as a symmetric difference.