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
 

Hybrid Partial Type Theory

Simple item page
dc.contributor.authorManzano Arjona, María
dc.contributor.authorHuertas, Antonia
dc.contributor.authorBlackburn, Patrick
dc.contributor.authorMartins, Manuel Antonio
dc.contributor.authorAranda Utrero, Víctor
dc.date.accessioned2024-02-05T07:54:03Z
dc.date.available2024-02-05T07:54:03Z
dc.date.issued2023
dc.description.abstractIn this article we define a logical system called Hybrid Partial Type Theory (HPTT ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for HPTT .
dc.description.departmentDepto. de Lógica y Filosofía Teórica
dc.description.facultyFac. de Filosofía
dc.description.refereedTRUE
dc.description.sponsorshipMinisterio de Economía y Competitividad (España)
dc.description.sponsorshipPortuguese funding agency
dc.description.statuspub
dc.identifier.citationMANZANO M, HUERTAS A, BLACKBURN P, MARTINS M, ARANDA V. HYBRID PARTIAL TYPE THEORY. The Journal of Symbolic Logic. Published online 2023:1-43. doi:10.1017/jsl.2023.33
dc.identifier.doi10.1017/jsl.2023.33
dc.identifier.essn1943-5886
dc.identifier.issn0022-4812
dc.identifier.officialurlhttps://www.doi.org/10.1017/jsl.2023.33
dc.identifier.relatedurlhttps://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/hybrid-partial-type-theory/5C6D8DAB7C65C66FD948BE8433FAB713
dc.identifier.urihttps://hdl.handle.net/20.500.14352/98612
dc.journal.titleThe Journal of Symbolic Logic
dc.language.isoeng
dc.page.final43
dc.page.initial1
dc.publisherCambridge University Press
dc.relation.projectIDinfo:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016/FFI2017-82554-P/ES/TRADUCCIONES, LOGICAS COMBINADAS, DESCRIPCIONES, LOGICA INTENSIVA, TEORIA DE TIPOS, LOGICA HIBRIDA, IDENTIDAD, LOGICA Y EDUCACION/
dc.rights.accessRightsrestricted access
dc.subject.cdu16
dc.subject.keywordType theory
dc.subject.keywordPartial logic
dc.subject.keywordHybrid logic
dc.subject.keywordHigher-order modal logic
dc.subject.keywordRigidity
dc.subject.keywordExistence
dc.subject.keywordDenotation
dc.subject.keywordHenkin proofs
dc.subject.ucmLógica (Filosofía)
dc.subject.unesco11 Lógica
dc.titleHybrid Partial Type Theory
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:
Hybrid_partial_type_theory.pdf
Size:
541.86 KB
Format:
Adobe Portable Document Format
Download

Collections

Artículos