Teoría Horn Universal
- Mathematics & Logic -
Pure Mathematics Dictionary
Definición
Una teoría del primer orden axiomatizada por oraciones Horn universales: implicaciones cuyo antecedente es una conjunción de fórmulas atómicas (a menudo ecuaciones) y cuyo consecuente es una única fórmula atómica o la falsedad.