2 papers
cs.LO2003
Sound search in a denotational semantics for first order logic
C. F. M. Vermeulen
In this paper we adapt the definitions and results from Apt and Vermeulen on `First order logic as a constraint programming language' (in: Proceedings of LPAR2001, Baaz and Voronko…
cs.LO2002
First-order Logic as a Constraint Programming Language
K. R. Apt, C. F. M. Vermeulen
We provide a denotational semantics for first-order logic that captures the two-level view of the computation process typical for constraint programming. At one level we have the u…