Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Computer Science Logic

CSL 1993: Computer Science Logic pp 128–138Cite as

Negation as inconsistency in PROLOG via intuitionistic logic

  • Conference paper
  • First Online:

  • 130 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 832))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. L. Cavedon and J. W. Lloyd. A Completeness Theorem for SLDNF Resolution. J. Logic Programming, 7(4):177–193 (1989).

    MathSciNet  Google Scholar 

  2. M. Fitting. A Kripke-Kleene Semantics for Logic Programs. J. Logic Programming, 2(4):295–312 (1985).

    MATH  MathSciNet  Google Scholar 

  3. D. M. Gabbay and M. J. Sergot. Negation as Inconsistency. I J. Logic Programming, 3(1):1–36 (1986).

    Article  MathSciNet  Google Scholar 

  4. S. C. Kleene. Introduction to Metamathematics. Van Nostrand, Princeton, 1952.

    Google Scholar 

  5. R. A. Kowalski. Logic for Problem Solving. North-Holland, 1979.

    Google Scholar 

  6. K. Kunen. Negation in Logic Programming. J. Logic Programming, 4(4):289–308 (1987).

    Article  MATH  MathSciNet  Google Scholar 

  7. K. Kunen. Signed Data Dependencies in Logic Programs. J. Logic Programming, 7(4):231–245 (1989).

    MathSciNet  Google Scholar 

  8. J. W. Lloyd. Foundations of Logic Programming. Berlin, Springer, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematical Logic Faculty of Mechanics and Mathematics, Moscow State University, 119899, Moscow, Russia

    Alexey Gomolko

Authors
  1. Alexey Gomolko
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egon Börger Yuri Gurevich Karl Meinke

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gomolko, A. (1994). Negation as inconsistency in PROLOG via intuitionistic logic. In: Börger, E., Gurevich, Y., Meinke, K. (eds) Computer Science Logic. CSL 1993. Lecture Notes in Computer Science, vol 832. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0049328

Download citation

  • DOI: https://doi.org/10.1007/BFb0049328

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58277-9

  • Online ISBN: 978-3-540-48599-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation