On the termination of Russel's description elimination algorithm
Publication date
2009-10-30
Authors
Grabmayer, C.A.
Leo, J.
Oostrom, V. van
Visser, A.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
In this paper we study the termination behaviour of Russell’s description elimination rewrite system. We discuss certain claims made by Saul Kripke in his paper.