Horn Theory

- Pure Mathematics -
Algebra Dictionary
A first-order theory whose axioms are Horn sentences: universal formulas that are implications from a conjunction of atomic formulas to a single atomic formula (possibly falsum).