---
tag: HKW429DSDK
kind: concept
name: Herbrand structure
aliases: [herbrand-base, herbrand-model, minimal-herbrand-model, term-model]
sources:
  - wikipedia: en:12274200@r1326042931
    locator: Herbrand structure
    note: adopted
    mention: wikipedia://en/12274200
    sections: [Summary]
same_as:
  wikidata: Q1609475
  wikipedia: Herbrand structure
inventory: [K7J082HZ3K]
---

## Summary

In [[first-order logic|086QKPF0A6]], a **Herbrand structure** $S$ is a structure over a vocabulary $\sigma$ (also sometimes called a *signature*) that is defined solely by the syntactical properties of $\sigma$. The idea is to take the symbol strings of terms as their values, e.g. the denotation of a constant symbol $c$ is just "$c$" (the symbol). It is named after Jacques Herbrand.