In first-order logic, a Herbrand structure S {\displaystyle S} is a structure over a vocabulary σ {\displaystyle \sigma } (also sometimes called a signature) that is defined solely by the syntactical properties of σ {\displaystyle \sigma } . The idea is to take the symbol strings of terms as their values, e.g.
In first-order logic, a Herbrand structure S {\displaystyle S} is a structure over a vocabulary σ {\displaystyle \sigma } (also sometimes called a signature) that is defined solely by the syntactical properties of σ {\displaystyle \sigma } . The idea is to take the symbol strings of terms as their values, e.g.
Source: Wikipedia "Herbrand structure" · CC BY-SA 4.0
Share this article: X · Bluesky