Herbrand interpretation
E238813
UNEXPLORED
A Herbrand interpretation is a foundational model-theoretic construct in logic and automated theorem proving that interprets formulas over the Herbrand universe built from a theory’s own function symbols and constants.
Aliases (1)
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
Jacques Herbrand
("Herbrand structure")
→
|
conceptNamedAfter |
|
Jacques Herbrand
→
|
developedConcept |