Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

Propositional Type Theory of Indeterminacy

Simple item page
dc.contributor.authorAranda Utrero, Víctor
dc.contributor.authorMartins, Manuel
dc.contributor.authorManzano Arjona, María Gracia
dc.date.accessioned2024-05-16T09:06:18Z
dc.date.available2024-05-16T09:06:18Z
dc.date.issued2024-05-03
dc.descriptionSpecial Issue: Strong and weak Kleene logics. Edited by Gavin St. John and Francesco Paoli
dc.description.abstractThe aim of this paper is to define a partial Propositional Type Theory. Our system is partial in a double sense: the hierarchy of (propositional) types contains partial functions and some expressions of the language, including formulas, may be undefined. The specific interpretation we give to the undefined value is that of Kleene’s strong logic of indeterminacy. We present a semantics for the new system and prove that every element of any domain of the hierarchy has a name in the object language. Finally, we provide a proof system and a (constructive) proof of completeness.
dc.description.departmentDepto. de Lógica y Filosofía Teórica
dc.description.facultyFac. de Filosofía
dc.description.refereedTRUE
dc.description.sponsorshipMinisterio de Ciencia, Innovación y Universidades (España)
dc.description.sponsorshipEuropean Regional Development Fund
dc.description.statuspub
dc.identifier.citationAranda, V., Martins, M. & Manzano, M. Propositional Type Theory of Indeterminacy. Studia Logica (2024). https://doi.org/10.1007/s11225-024-10099-0
dc.identifier.doi10.1007/s11225-024-10099-0
dc.identifier.essn0039-3215
dc.identifier.issn1572-8730
dc.identifier.officialurlhttps://doi.org/10.1007/s11225-024-10099-0
dc.identifier.relatedurlhttps://link.springer.com/article/10.1007/s11225-024-10099-0
dc.identifier.urihttps://hdl.handle.net/20.500.14352/104079
dc.journal.titleStudia Logica
dc.language.isoeng
dc.publisherSpringer
dc.relation.projectIDinfo:eu-repo/grantAgreement/MICIU/Plan Estatal de Investigación Científica y Técnica y de Innovación 2021-2023/PID2022-142378NB-I00
dc.rightsAttribution 4.0 Internationalen
dc.rights.accessRightsopen access
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/
dc.subject.cdu16
dc.subject.keywordType theory
dc.subject.keywordPartial logic
dc.subject.keywordThree-valued logic
dc.subject.keywordKleene logic
dc.subject.ucmLógica (Filosofía)
dc.subject.unesco11 Lógica
dc.titlePropositional Type Theory of Indeterminacy
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:
s11225-024-10099-0.pdf
Size:
582.18 KB
Format:
Adobe Portable Document Format
downoload Download

Collections

Artículos