Universal Horn Theory
- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
A first-order theory axiomatized by universally quantified Horn sentences: implications whose antecedent is a conjunction of atomic formulas (often equations) and whose consequent is a single atomic formula or falsity.