Article contents
ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM
Published online by Cambridge University Press: 21 September 2011
Abstract
In this paper we study the termination behavior of Russell’s description elimination rewrite system. We discuss certain claims made by Kripke (2005) in his paper concerning the possible nontermination of elimination of descriptions.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2011
References
BIBLIOGRAPHY
- 3
- Cited by