{"id":"arxiv/2603.29137","url":"https://arxiv.org/abs/2603.29137","tags":["math.LO","cs.LO"],"score":0,"title":"An Optimal 14-Symbol Hybrid Basis for BCH-Algebras","domain":"math.LO","source":"arxiv","authors":["Mahesh Ramani","Shlok Kumar"],"reviews":0,"subject":"math.LO","summary":"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 automated theorem proving, we prove that the two standard equations can be entirely replaced by a 14-symbol equation, ((xy)z)((x(z0))y) = 0, while retaining the standard quasi-identity. We then provide a rigorous proof of strict minimality for this new equational companion. By employing an exhaustive, machine-assisted search space generation coupled with finite countermodel building, we demonstrate that no equation of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-31","reactions":{}}