Bilattices in logic programming

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>>

[1]  Melvin Fitting,et al.  Stratified and Three-valued Logic Programming Semantics , 1988, ICLP/SLP.

[2]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[3]  Matthew L. Ginsberg,et al.  Multi-Valued Logics , 1986, AAAI.

[4]  Kenneth Kunen,et al.  Signed Data Dependencies in Logic Programs , 1989, J. Log. Program..

[5]  Shirley Dex,et al.  JR 旅客販売総合システム（マルス）における運用及び管理について , 1991 .

[6]  M. H. van Emden,et al.  Quantitative Deduction and its Fixpoint Theory , 1986, J. Log. Program..

[7]  Melvin Fitting,et al.  Bilattices and the theory of truth , 1989, J. Philos. Log..

[8]  Matthew L. Ginsberg,et al.  Multivalued logics: a uniform approach to reasoning in artificial intelligence , 1988, Comput. Intell..

[9]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[10]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[11]  Melvin Fitting,et al.  A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..

[12]  Kenneth Kunen,et al.  Negation in Logic Programming , 1987, J. Log. Program..

[13]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[14]  M. Fitting,et al.  Stratified, weak stratified and three-valued semantics , 1990 .

[15]  Melvin Fitting,et al.  Bilattices and the Semantics of Logic Programming , 1991, J. Log. Program..

[16]  R. Goodstein.  FIRST-ORDER LOGIC , 1969 .

[17]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[18]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[19]  Melvin Fitting.  Negation as refutation , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[20]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..