A kripke-kleene semantics for logic programs*

This publication has 9 references indexed in Scilit:

• Notes on the mathematical aspects of Kripke's theory of truth.
  Notre Dame Journal of Formal Logic, 1986
• Logic programs and many-valued logic
  Published by Springer Nature ,1984
• The recursion-theoretic complexity of the semantics of predicate logic as a programming language
  Information and Control, 1982
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• Elementary Formal Systems for Hyperarithmetical Relations
  Mathematical Logic Quarterly, 1978
• The optimal approach to recursive programs
  Communications of the ACM, 1977
• The Theoretical Aspects of the Optimal Fixedpoint
  SIAM Journal on Computing, 1976
• Outline of a Theory of Truth
  The Journal of Philosophy, 1975
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955