Horn-Theorie

- Pure Mathematics -
Algebra Dictionary
Eine prädikatenlogische Theorie, deren Axiome Horn-Sätze sind: universelle Formeln, die eine Konjunktion atomarer Formeln in eine einzelne atomare Formel (gegebenenfalls Falschheit) implizieren.