Estrutura de Herbrand
Aspeto
Este artigo não cita fontes confiáveis. (Agosto de 2021) |
Em matemática, para uma linguagem , define o Universo de Herbrand para o conjunto de condições básicas de .
Uma estrutura de é a Estrutura de Herbrand se o domínio de é o universo de Herbrand de e a interpretação de é a Interpretação de Herbrand. Isso corrige o domínio de , e de modo que cada Estrutura de Herbrand possa ser identificada com sua interpretação.
Um Modelo de Herbrand de uma teoria é a estrutura de Herbrand que é um modelo de .