Théorie de Horn

- Pure Mathematics -
Algebra Dictionary
Une théorie du premier ordre dont les axiomes sont des phrases de Horn : des formules universelles formées d'une implication d'une conjonction d'atomes vers un seul atome (éventuellement la fausseté).