Strict finitism and the happy sorites
From MaRDI portal
Publication:427227
DOI10.1007/s10992-011-9180-8zbMath1253.03011MaRDI QIDQ427227
Publication date: 13 June 2012
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-011-9180-8
cut elimination; induction; intuitionism; constructivism; strict finitism; happy sorites; sorites paradox; vaguesness
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Cites Work