Contributions to the compositional semantics of first-order predicate logic

Philip Kelly, M. H. van Emden

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 denotati…