Comprehension contradicts to the induction within Łukasiewicz predicate logic

DOI10.1007/S00153-009-0127-5MaRDI QIDQ1016508zbMATH OpenOpenAlexFDO

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

Review text

The author gives a simpler and shorter proof of Hájek's theorem that the mathematical induction on \(\omega\) implies a contradiction in the set theory with the comprehension principle within Łukasiewicz predicate logic Ł\(\forall\) [\textit{P. Hájek}, Arch. Math. Logic 44, No. 6, 763--782 (2005; Zbl 1096.03064)] by extending a related proof given by the author in [Arch. Math. Logic 46, No.~3--4, 281--287 (2007; Zbl 1110.03049)] so as to be effective in any linearly ordered MV-algebra.

Recommendations

• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
• On White's expansion of Łukasiewicz logic
• A note on Hájek, Paris and Shepherdson's theorem
• Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic

Cites work

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

Cited in

(2)

• Triangular norm based predicate fuzzy logics
• scientific article; zbMATH DE number 4039858 (Why is no real title available?)

This page was built for publication: Comprehension contradicts to the induction within Łukasiewicz predicate logic

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