Negation as inconsistency in PROLOG via intuitionistic logic

  • Alexey Gomolko
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 832)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    L. Cavedon and J. W. Lloyd. A Completeness Theorem for SLDNF Resolution. J. Logic Programming, 7(4):177–193 (1989).MathSciNetGoogle Scholar
  2. 2.
    M. Fitting. A Kripke-Kleene Semantics for Logic Programs. J. Logic Programming, 2(4):295–312 (1985).MATHMathSciNetGoogle Scholar
  3. 3.
    D. M. Gabbay and M. J. Sergot. Negation as Inconsistency. I J. Logic Programming, 3(1):1–36 (1986).CrossRefMathSciNetGoogle Scholar
  4. 4.
    S. C. Kleene. Introduction to Metamathematics. Van Nostrand, Princeton, 1952.Google Scholar
  5. 5.
    R. A. Kowalski. Logic for Problem Solving. North-Holland, 1979.Google Scholar
  6. 6.
    K. Kunen. Negation in Logic Programming. J. Logic Programming, 4(4):289–308 (1987).CrossRefMATHMathSciNetGoogle Scholar
  7. 7.
    K. Kunen. Signed Data Dependencies in Logic Programs. J. Logic Programming, 7(4):231–245 (1989).MathSciNetGoogle Scholar
  8. 8.
    J. W. Lloyd. Foundations of Logic Programming. Berlin, Springer, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Alexey Gomolko
    • 1
  1. 1.Department of Mathematical Logic Faculty of Mechanics and MathematicsMoscow State UniversityMoscowRussia

Personalised recommendations