  Henkin, Monk and Tarski gave a compositional semantics for first-order
predicate logic. We extend this work by including function symbols in the
language and by giving the denotation of the atomic formula as a composition of
the denotations of its predicate symbol and of its tuple of arguments. In
addition we give the denotation of a term as a composition of the denotations
of its function symbol and of its tuple of arguments.
