Teoría de Horn
- Pure Mathematics -
Algebra Dictionary
Definición
Una teoría de primer orden cuyos axiomas son oraciones de Horn: fórmulas universales que son implicaciones desde una conjunción de fórmulas atómicas hacia una única fórmula atómica (posiblemente la falsedad).