Towards metamathematics of weak arithmetics over fuzzy logic

DOI10.1093/JIGPAL/JZP091zbMATH Open1243.03032OpenAlexW2110799565MaRDI QIDQ2885173FDOQ2885173

Petr Hájek

Publication date: 21 May 2012

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

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

zbMATH Keywords

mathematical fuzzy logic[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel%27s+theorem&go=Go G��del's theorem]weak arithmeticsessential undecidability

Mathematics Subject Classification ID

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

Cited In (3)

• The scope of Gödel's first incompleteness theorem
• Title not available (Why is that?)
• Introduction

This page was built for publication: Towards metamathematics of weak arithmetics over fuzzy logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2885173)