On the termination of russell’s description elimination algorithm

Review of Symbolic Logic 4 (3):367-393 (2011)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,491

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Definite descriptions: Language, logic, and elimination.Norbert Gratzl - 2009 - In Hieke Alexander & Leitgeb Hannes (eds.), Reduction, Abstraction, Analysis. Ontos Verlag. pp. 355.
Epsilon substitution for transfinite induction.Henry Towsner - 2005 - Archive for Mathematical Logic 44 (4):397-412.
Elimination of algorithmic quantifiers for ordered differential algebra.Yunfu Shen - 1999 - Archive for Mathematical Logic 38 (3):139-144.
The elimination argument.Andrew M. Bailey - 2014 - Philosophical Studies 168 (2):475-482.
On Designating.Nathan Salmon - 2005 - Mind 114 (456):1069-1133.
The Role of Quantifier Alternations in Cut Elimination.Philipp Gerhardy - 2005 - Notre Dame Journal of Formal Logic 46 (2):165-171.
Reduction, elimination, and firewalking.Colin Cheyne - 1993 - Philosophy of Science 60 (2):349-357.
Epsilon substitution method for theories of jump hierarchies.Toshiyasu Arai - 2002 - Archive for Mathematical Logic 41 (2):123-153.
Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.

Analytics

Added to PP
2013-12-09

Downloads
81 (#186,090)

6 months
9 (#141,986)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
Descriptions.Stephen Neale - 1990 - MIT Press.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Descriptions.D. E. Over - 1993 - Philosophical Quarterly 43 (172):392-394.

View all 8 references / Add more references