A first-order language is algebraic if it lacks relations. The algebraic part of a language is the constant and function symbols. An algebra is a model for an algebraic language.
Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.
Copyright © 2015 Barry Watson. All rights reserved.