𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Acyclic logic programs and the completeness of SLDNF-resolution

✍ Scribed by Lawrence Cavedon


Book ID
107948656
Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
796 KB
Volume
86
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The Completeness of Free Logic
✍ B. C. van Fraassen πŸ“‚ Article πŸ“… 1966 πŸ› John Wiley and Sons 🌐 English βš– 972 KB
The Semantic Completeness of a Global In
✍ Hiroshi Aoyama πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 433 KB

In this paper we will study a formal system of intuitionistic modal predicate logic. The main result is its semantic completeness theorem with respect to algebraic structures. At the end of the paper we will also present a brief consideration of its syntactic relationships with some similar system