2 papers
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.DB2012
Relational Semantics for Databases and Predicate Calculus
Philip Kelly, M. H. van Emden
The relational data model requires a theory of relations in which tuples are not only many-sorted, but can also have indexes that are not necessarily numerical. In this paper we de…