Comprehension contradicts to the induction within Łukasiewicz predicate logic

Archive for Mathematical Logic 48 (3-4):265-268 (2009)
  Copy   BIBTEX

Abstract

We introduce the simpler and shorter proof of Hajek’s theorem that the mathematical induction on ω implies a contradiction in the set theory with the comprehension principle within Łukasiewicz predicate logic Ł ${\forall}$ (Hajek Arch Math Logic 44(6):763–782, 2005) by extending the proof in (Yatabe Arch Math Logic, accepted) so as to be effective in any linearly ordered MV-algebra

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On arithmetic in the Cantor- Łukasiewicz fuzzy set theory.Petr Hájek - 2005 - Archive for Mathematical Logic 44 (6):763-782.
Provability in predicate product logic.Michael C. Laskowski & Shirin Malekpour - 2007 - Archive for Mathematical Logic 46 (5-6):365-378.
On elementary equivalence in fuzzy predicate logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Łukasiewicz on the Principle of Contradiction.Venanzio Raspa - 1999 - Journal of Philosophical Research 24:57-112.

Analytics

Added to PP
2013-11-23

Downloads
41 (#339,849)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

The undecidability of grisin's set theory.Andrea Cantini - 2003 - Studia Logica 74 (3):345 - 368.
The Undecidability of Grisin's Set Theory.Andrea Cantini - 2003 - Studia Logica 74 (3):345-368.
On arithmetic in the Cantor- Łukasiewicz fuzzy set theory.Petr Hájek - 2005 - Archive for Mathematical Logic 44 (6):763-782.

Add more references