Structure de Herbrand

Une Structure de Herbrand S est une structure sur un vocabulaire σ qui est défini uniquement par les propriétés syntaxiques de σ. L'idée étant de se contenter de prendre les symboles des termes comme leurs valeurs. Ainsi la valeur d'un symbole constant c est j…