An Optimal 14-Symbol Hybrid Basis for BCH-Algebras

Mahesh Ramani, Shlok Kumar

We present an optimally minimal two-axiom basis for BCH-algebras. The standard presentation of a BCH-algebra relies on three axioms: two equations and one quasi-identity. Using aut…