A completeness theorem for a functionally complete Łukasiewicz logic

Simple item page
dc.contributor.authorAranda Utrero, Víctor
dc.date.accessioned2025-09-11T08:24:35Z
dc.date.available2025-09-11T08:24:35Z
dc.date.issued2025
dc.description.abstractRadzki has recently claimed the incompleteness of the axioms given by Słupecki for the functionally complete Ł3: some of its tautologies are not provable. In this paper, we provide a new axiom system for this logic (choosing a variant with two propositional constants and the Łukasiewicz implication as primitive symbols) and prove a Completeness Theorem.
dc.description.departmentDepto. de Lógica y Filosofía Teórica
dc.description.facultyFac. de Filosofía
dc.description.refereedTRUE
dc.description.sponsorshipComunidad de Madrid
dc.description.sponsorshipMinisterio de Ciencia e Innovación (España)
dc.description.statuspub
dc.identifier.citationAranda, V. (2025) “A Completeness Theorem for a Functionally Complete Łukasiewicz Logic”, Logic and Logical Philosophy, pp. 1–12. doi: 10.12775/LLP.2025.014.
dc.identifier.doi10.12775/LLP.2025.014
dc.identifier.essn2300-9802
dc.identifier.issn1425-3305
dc.identifier.officialurlhttps://doi.org/10.12775/LLP.2025.014
dc.identifier.relatedurlhttps://apcz.umk.pl/LLP/article/view/65115
dc.identifier.urihttps://hdl.handle.net/20.500.14352/123833
dc.issue.numberOnline First Articles
dc.journal.titleLogic and Logical Philosophy
dc.language.isoeng
dc.page.final12
dc.page.initial1
dc.publisherUniwersytet Mikołaja Kopernika
dc.relation.projectIDinfo:eu-repo/grantAgreement/COMUNIDAD DE MADRID/Programa de Proyectos de I+D del Plan UCM 2024/PR17/24-31887//LA ARGUMENTACIÓN FILOSÓFICA EN LA FUNDAMENTACIÓN DE LAS MATEMÁTICAS/AFIM
dc.relation.projectIDinfo:eu-repo/grantAgreement/MICINN/Plan Estatal de Investigación Científica y Técnica y de Innovación 2021-2023/ES/PID2022-142378NB-I00/DEBATES FILOSOFICOS DE LA LOGICA DEL SIGLO XX
dc.rightsAttribution-NoDerivatives 4.0 Internationalen
dc.rights.accessRightsopen access
dc.rights.urihttp://creativecommons.org/licenses/by-nd/4.0/
dc.subject.cdu164
dc.subject.keywordMany-valued logics
dc.subject.keywordThree-valued logics
dc.subject.keywordPropositional logic
dc.subject.keywordNon-classical logics
dc.subject.keywordFuzzy logic
dc.subject.ucmLógica (Filosofía)
dc.subject.unesco1102.08 Lógica Matemática
dc.subject.unesco1102.05 Sistemas Formales
dc.subject.unesco1102.12 Cálculo Proposicional
dc.titleA completeness theorem for a functionally complete Łukasiewicz logic
dc.typejournal article
dc.type.hasVersionVoR
dspace.entity.typePublication
relation.isAuthorOfPublicationccf6e0ed-ef64-4651-8da2-16a96ce9cfab
relation.isAuthorOfPublication.latestForDiscoveryccf6e0ed-ef64-4651-8da2-16a96ce9cfab

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Theorem_ Łukasiewicz logic.pdf
Size:
200.72 KB
Format:
Adobe Portable Document Format
Download Download

Collections

Artículos