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

DOI10.1007/S00153-007-0043-5MaRDI QIDQ877261zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 823607 (Why is no real title available?)
• A note on Hájek, Paris and Shepherdson's theorem
• Logical paradoxes for many-valued systems
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• The undecidability of Grišin's set theory

Cited in

(3)

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

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)