Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic

DOI10.1007/s00153-007-0043-5zbMath1110.03049OpenAlexW2072851234MaRDI QIDQ877261

Shunsuke Yatabe

Publication date: 19 April 2007

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-007-0043-5

zbMATH Keywords

arithmeticset theoryŁukasiewicz logicnonstandard natural numberscomprehension principle

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Theory of fuzzy sets, etc. (03E72) Many-valued logic (03B50)

Related Items

Triangular norm based predicate fuzzy logics ⋮ Comprehension contradicts to the induction within Łukasiewicz predicate logic

Cites Work

• Unnamed Item
• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• The undecidability of Grišin's set theory
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• A note on Hájek, Paris and Shepherdson's theorem
• Logical paradoxes for many-valued systems