Axioms in Definitional Calculi
Number of Authors: 2
1993 (English)In: Extensions of Logic Programming ELP'93: Proceedings Proceedings of the fourth international workshop on extensions of logic programming, Springer LNAI of the fourth international workshop on extensions of logic programming, Springer Verlag , 1993, 1, Vol. 798, 196-205 p.Conference paper (Refereed)
This paper introduces a restricted form of the axiom rule in calculi of Partial Inductive Definitions (PID). The paper argues that in calculi of PIDs the distinction between atomic and non-atomic formulae is not asclear as in traditional sequent calculi. Therefore the common restriction of the axiom rule to the atomic case is not adequate for this type of calculi.A novel proviso for the axiom rule and corresponding provisos for the left and right definition rules are introduced with an accompanying discussion and suggestions for possible applications in the domain of declarative specification of operational behaviour of logic programs.
Place, publisher, year, edition, pages
Springer Verlag , 1993, 1. Vol. 798, 196-205 p.
Lecture notes on Artificial Intelligence
Partial Inductive Definitions, axiom rule, sequent calculus
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-21194OAI: oai:DiVA.org:ri-21194DiVA: diva2:1041228
Extensions of Logic Programming ELP'93: Proceedings of the fourth international workshop on extensions of logic programming