Towards metamathematics of weak arithmetics over fuzzy logic

DOI10.1093/jigpal/jzp091zbMath1243.03032OpenAlexW2110799565MaRDI QIDQ2885173

Petr Hájek

Publication date: 21 May 2012

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzp091

zbMATH Keywords

weak arithmeticsmathematical fuzzy logicGödel's theoremessential undecidability

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Related Items

Introduction, The scope of Gödel's first incompleteness theorem