Comprehension contradicts to the induction within Łukasiewicz predicate logic

DOI10.1007/s00153-009-0127-5zbMath1173.03024OpenAlexW2040000209MaRDI QIDQ1016508

Shunsuke Yatabe

Publication date: 6 May 2009

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

Full work available at URL: https://doi.org/10.1007/s00153-009-0127-5

zbMATH Keywords

comprehension principlemathematical induction on \(\omega\)

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Theory of fuzzy sets, etc. (03E72) MV-algebras (06D35)

Related Items

Triangular norm based predicate fuzzy logics

Cites Work

• Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
• The undecidability of Grišin's set theory
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory