Clausal Intuitionistic Logic I - Fixed-Point Semantics


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

DOI: 10.1016/0743-1066(88)90005-2

3 Figures and Tables


Citations per Year

75 Citations

Semantic Scholar estimates that this publication has 75 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@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} }