A Herbrand algebra with respect to a first-order language is the model of the algebraic part common to all Herbrand models.
Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.
Copyright © 2015 Barry Watson. All rights reserved.