ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM
From MaRDI portal
Publication:3096819
DOI10.1017/S1755020310000286zbMath1252.03004MaRDI QIDQ3096819
Albert Visser, Clemens Grabmayer, Vincent van Oostrom, Joop Leo
Publication date: 14 November 2011
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
nontermination of elimination of descriptionsRussell's description elimination rewrite systemtermination behavior
Philosophical and critical aspects of logic and foundations (03A05) Grammars and rewriting systems (68Q42) History of mathematical logic and foundations (03-03)
Related Items
The Possibility of Analysis: Convergence and Proofs of Convergence, Incomplete symbols -- definite descriptions revisited
Cites Work