Kreuger, Per (1993) Axioms in Definitional Calculi. In: Extensions of Logic Programming ELP'93: Proceedings of the fourth international workshop on extensions of logic programming, 1993, St Andrews, UK.
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.
|Item Type:||Conference or Workshop Item (Paper)|
|Uncontrolled Keywords:||Partial Inductive Definitions, axiom rule, sequent calculus|
|Deposited By:||IAM Researcher|
|Deposited On:||16 Oct 2007|
|Last Modified:||18 Nov 2009 15:56|
Repository Staff Only: item control page