2 citations · 6 across the 16 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015
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…
cs.LO2012
Programming in logic without Prolog
M. H. van Emden
Logic can be made useful for programming and for databases independently of logic programming. To be useful in this way, logic has to provide a mechanism for the definition of new…