2 citations · 6 across the 16 of their papers we have counts for
1 paper · 1 filter
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…