2 papers
cs.PL2018
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
We define a novel, extensional, three-valued semantics for higher-order logic programs with negation. The new semantics is based on interpreting the types of the source language as…
cs.PL2017
The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs
Panos Rondogiannis, Ioanna Symeonidou
In (Bezem 1999; Bezem 2001), M. Bezem defined an extensional semantics for positive higher-order logic programs. Recently, it was demonstrated in (Rondogiannis and Symeonidou 2016)…