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.
New to topics? Read the docs here!