Herbrand interpretation

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf logical concept
gptkbp:application proof theory
automated theorem proving
gptkbp:describes interpretation of first-order formulas
gptkbp:feature constants and function symbols define domain
does not require external domain
domain consists of ground terms
interpretation is syntactic
predicate symbols interpreted as sets of ground atoms
gptkbp:field gptkb:logic
model theory
https://www.w3.org/2000/01/rdf-schema#label Herbrand interpretation
gptkbp:namedAfter gptkb:Jacques_Herbrand
gptkbp:relatedTo gptkb:Herbrand_base
gptkb:Herbrand_universe
gptkbp:usedIn gptkb:first-order_logic
gptkbp:bfsParent gptkb:Herbrand's_theorem
gptkbp:bfsLayer 7