Another View of BZ-Algebras

Abstract

In this work, Sheffer stroke BZ-algebra (briefly, SBZ-algebra) is introduced and its properties are examined. Then a partial order is defined on SBZ-algebras. It is shown that a Cartesian product of two SBZ-algebras is an SBZ-algebra. After giving SBZ-ideals and SBZ-subalgebras, it is proved that any SBZ-ideal of an SBZ-algebra is an ideal of this SBZ-algebra and vice versa, and that it is also an SBZ-subalgebra. Also, a congruence relation on an SBZ-algebra is determined by an SBZ-ideal, and the quotient of an SBZ-algebra by a congruence relation on this algebra is constructed. Thus, it is proved that the quotient of the SBZ-algebra is an SBZ-algebra. Furthermore, we define SBZ-homomorphisms between SBZ-algebras and state that the kernel of an SBZ-homomorphism is an SBZ-ideal and so an SBZ-subalgebra. Hence, a new SBZ-homomorphism is described by means of the kernel of an SBZ-homomorphism. Finally, we show that some properties are preserved under SBZ-homomorphisms. © 2025 University of Guilan.