On the termination of Russel's description elimination algorithm

DSpace/Manakin Repository

On the termination of Russel's description elimination algorithm
 
Grabmayer, C.A.; Leo, J.; Oostrom, V. van; Visser, A.
(2009) Logic Group preprint series, volume 280, pp. 1 - 26
(Preprint)
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.
Download/Full Text
Open Access version via Utrecht University Repository
 
 
 
See more statistics about this item