Bilattices in logic programming

Abstract

Bilattices are a family of multiple-valued logics. Those meeting certain natural conditions have provided the basis for the semantics of a family of logic programming languages. Consideration is given to further restrictions on bilattices in order to narrow things down to logic programming languages that can, at least in principle, be implemented. Appropriate bilattice background information is presented, so the work is relatively self-contained. The backgrounds of logic programming and bilattices are given. Logic programming syntax is discussed, along with fixpoint semantics. Smullyan-style propositional rules are discussed.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>