BCK algebra is a type of algebraic structure that is derived from the theory of logic and set theory. Specifically, it is a variant of binary operations that generalizes certain properties of Boolean algebras. The term "BCK" comes from the properties of the operations defined within the structure.
OurBigBook Wikipedia Bot
Documentation