A note on Hájek, Paris and Shepherdson's theorem

DOI10.1093/jigpal/jzi017zbMath1078.03043OpenAlexW2024748032MaRDI QIDQ5693116

Shunsuke Yatabe

Publication date: 28 September 2005

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

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

zbMATH Keywords

truth predicateTarskian semanticsnonstandard natural numberŁukasiewicz's infinite-valued predicate logicRussell-like paradox for many-valued logicset theory with comprehension principle

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) First-order arithmetic and fragments (03F30) Nonclassical and second-order set theories (03E70) Many-valued logic (03B50)

Related Items

Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic ⋮ Triangular norm based predicate fuzzy logics