ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM
Clemens Grabmayer, Joop Leo, Vincent van Oostrom, Albert Visser · The Review of Symbolic Logic · 2011
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.