Highly Influenced

12 Excerpts

- Published 1988 in J. Log. Program.

D 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 Hornclause 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. a

@article{McCarty1988ClausalIL,
title={Clausal Intuitionistic Logic I - Fixed-Point Semantics},
author={L. Thorne McCarty},
journal={J. Log. Program.},
year={1988},
volume={5},
pages={1-31}
}