Herbrand Base

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The collection of all ground atomic formulas (atoms with no variables) that can be formed by applying predicate symbols to tuples of terms from the Herbrand universe of a language.