RETRACTED ARTICLE: A Completeness Theorem for a Functionally Complete Łukasiewicz Logic

Logic and Logical Philosophy (forthcoming)
  Copy   BIBTEX

Abstract

This article was retracted on April 9, 2026 The Editors-in-Chief have retracted this article because, after publication, it became apparent that it cites Mateusz Radzki's paper (2017), which contains an error in the proof of the claim that Słupecki's three-valued system is incomplete. Therefore, based on Radzki's paper, it cannot be concluded that Słupecki's system is really incomplete. Although the results contained in Víctor Aranda's LLP paper are not formally dependent on the content of Radzki's text, we have decided to ask the author to withdraw the original submission and prepare its corrected version. The corrected version is available at https://doi.org/10.12775/LLP.2026.010. We want to express our profound gratitude to Professor Jan Zygmunt for his consultations and for pointing out the reference to Radzki's erroneous proof of claim that Słupecki's system is incomplete. Supplementary Information Below is the link to the electronic supplementary material: Supplementary file (download PDF)

Other Versions

No versions found

Links

PhilArchive

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

Partial and paraconsistent three-valued logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
Sequent-type rejection systems for finite-valued non-deterministic logics.Martin Gius & Hans Tompits - 2023 - Journal of Applied Non-Classical Logics 33 (3):606-640.
A three-valued approach to default logic.Anna Radzikowska - 1996 - Journal of Applied Non-Classical Logics 6 (2):149-190.

Analytics

Added to PP
2025-09-03

Downloads
25 (#1,715,965)

6 months
16 (#749,564)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.
Metamathematics of Fuzzy Logic.Petr Hájek - 1998 - Dordrecht, Boston and London: Kluwer Academic Publishers.

Add more references