411 REFERENCE · Wiktionary
Herbrandization
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
From en Herbrand ization, after Jacques Herbrand (1908–1931), French mathematician.
Noun
-
en logic The conversion of a formula of first-order logic which involves the following steps: (1) replace free variables with constants, (2) replace any variable bound by a universal quantifier which lies in the scope of an even number of logical negations with a Herbrand function, and (3) replace any variable bound by an existential quantifier which lies in the scope of an odd number of negations with a Herbrand function.
Coordinate terms
en Skolemization
en eponyms