Affordable Access

Publisher Website

Clausal intuitionistic logic I. fixed-point semantics

Authors
Journal
The Journal of Logic Programming
0743-1066
Publisher
Elsevier
Publication Date
Volume
5
Issue
1
Identifiers
DOI: 10.1016/0743-1066(88)90005-2
Disciplines
  • Computer Science
  • Linguistics

Abstract

Abstract 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.

There are no comments yet on this publication. Be the first to share your thoughts.