Clausal intuitionistic logic I. fixed-point semantics

  • McCarty L
  • 4


    Mendeley users who have this article in their library.
  • 49


    Citations of this article.


Since the advent of Horn-clause logic programming in the mid 1970's, there have been numerous attempts to extend the expressive power of Horn-clause logic while preserving some of its attractive computational properties. This article, the first of a pair, presents a clausal language that extends Horn-clause logic by adding negations and embedded implications to the righthand side of a rule, and interpreting these new rules intuitionistically, in a set of partial models. The resulting system is shown to have a fixed-point semantics that generalizes the van Emden-Kowalski semantics for Horn clauses. © 1988.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • L. Thorne McCarty

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free