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

DOI10.1007/S00153-007-0043-5zbMATH Open1110.03049OpenAlexW2072851234MaRDI QIDQ877261FDOQ877261

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 theorynonstandard natural numberscomprehension principleŁukasiewicz logic

Mathematics Subject Classification ID

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

Cites Work

• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• Logical paradoxes for many-valued systems
• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• The undecidability of Grišin's set theory
• Title not available (Why is that?)
• A note on Hájek, Paris and Shepherdson's theorem

Cited In (3)

• A note on Hájek, Paris and Shepherdson's theorem
• Comprehension contradicts to the induction within Łukasiewicz predicate logic
• Triangular norm based predicate fuzzy logics

   Recommendations

• A note on Hájek, Paris and Shepherdson's theorem 👍 👎
• On equality and natural numbers in Cantor-Lukasiewicz set theory 👍 👎
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory 👍 👎
• On White's expansion of Łukasiewicz logic 👍 👎
• Some remarks on Cantor-Lukasiewicz fuzzy set theory 👍 👎

This page was built for publication: Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic

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