Article contents
Epsilon substitution method for -FIX
Published online by Cambridge University Press: 12 March 2014
Abstract
In this paper we formulate epsilon substitution method for a theory -FIX for nonmonotonic inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2006
References
REFERENCES
- 4
- Cited by