The BCK/BCI/BCH-algebras finds general algebra system than Boolean algebras system. This paper presents a novel class of algebras of type (2, 0) called BCL-algebras. We found the BCL-algebras to be more extensive clas...The BCK/BCI/BCH-algebras finds general algebra system than Boolean algebras system. This paper presents a novel class of algebras of type (2, 0) called BCL-algebras. We found the BCL-algebras to be more extensive class than BCK/BCI/BCH-algebras in the abstract algebra. The BCL-algebras as a class of logical algebras are the algebraic formulations of the set difference together with its properties in set theory and the propositional calculus in logical systems. It is important that the BCL-algebras play an independent role in the axiom algebra system.展开更多
This paper presents the BCL+-algebras, which is derived the fundamental properties. Results are generalized with version of BCL-algebras [5], using some unusual for a binary relation * and a constant 1 (one) in a non-...This paper presents the BCL+-algebras, which is derived the fundamental properties. Results are generalized with version of BCL-algebras [5], using some unusual for a binary relation * and a constant 1 (one) in a non-empty set X, one may take different axiom systems for BCL+-algebras.展开更多
文摘The BCK/BCI/BCH-algebras finds general algebra system than Boolean algebras system. This paper presents a novel class of algebras of type (2, 0) called BCL-algebras. We found the BCL-algebras to be more extensive class than BCK/BCI/BCH-algebras in the abstract algebra. The BCL-algebras as a class of logical algebras are the algebraic formulations of the set difference together with its properties in set theory and the propositional calculus in logical systems. It is important that the BCL-algebras play an independent role in the axiom algebra system.
文摘This paper presents the BCL+-algebras, which is derived the fundamental properties. Results are generalized with version of BCL-algebras [5], using some unusual for a binary relation * and a constant 1 (one) in a non-empty set X, one may take different axiom systems for BCL+-algebras.
