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

DOI10.1093/JIGPAL/JZI017MaRDI QIDQ5693116zbMATH OpenOpenAlexFDO

Authors 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

nonstandard natural numberRussell-like paradox for many-valued logicset theory with comprehension principleTarskian semanticstruth predicateŁukasiewicz's infinite-valued predicate logic

Mathematics Subject Classification ID

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

Recommendations

• Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
• On equality and natural numbers in Cantor-Łukasiewicz set theory
• Some remarks on Cantor-Łukasiewicz fuzzy set theory
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• Set theory and arithmetic in fuzzy logic

Cited in

(4)

• Comprehension contradicts to the induction within Łukasiewicz predicate logic
• Triangular norm based predicate fuzzy logics
• Some remarks on Cantor-Łukasiewicz fuzzy set theory
• Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic

This page was built for publication: A note on Hájek, Paris and Shepherdson's theorem

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