Abstract | ||
---|---|---|
Intuitionistic logic programming is an extension of Horn-clause logic programmingin which implications may appear "embedded" on the right-handside of a rule. Thus, rules of the form A(x) / [B(x) / C(x)] are allowed.These rules are called embedded implications . In this paper, we develop alanguage in which negation-as-failure is combined with embedded implicationsin a principled way. Although this combination has been studied byother researchers, Gabbay has argued in [10] that the entire... |
Year | Venue | Keywords |
---|---|---|
1990 | NACLP | logic programming,intuitionistic logic |
Field | DocType | ISBN |
Intuitionistic logic,Horn clause,Computer science,Truth value,Arithmetic,Linear logic,Many-valued logic,Intermediate logic,Dynamic logic (modal logic),Higher-order logic | Conference | 0-262-54058-4 |
Citations | PageRank | References |
20 | 0.88 | 9 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anthony J. Bonner | 1 | 733 | 422.63 |
L. Thorne Mccarty | 2 | 314 | 53.97 |