Classical arithmetic is quite unnatural
From MaRDI portal
Publication:3592791
DOI10.12775/LLP.2003.012zbMath1117.03311OpenAlexW1989773718MaRDI QIDQ3592791
Publication date: 24 September 2007
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.12775/llp.2003.012
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)
Related Items
TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY, Paraconsistent Computation and Dialetheic Machines