Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/109878
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Areces, Carlos | - |
dc.contributor.author | Blackburn, Patrick | - |
dc.contributor.author | Huertas, M. Antonia | - |
dc.contributor.author | Manzano Arjona, María | - |
dc.contributor.other | Universidad Nacional de Córdoba | - |
dc.contributor.other | University of Roskilde | - |
dc.contributor.other | Universidad de Salamanca | - |
dc.contributor.other | Universitat Oberta de Catalunya (UOC) | - |
dc.date.accessioned | 2020-02-18T08:24:20Z | - |
dc.date.available | 2020-02-18T08:24:20Z | - |
dc.date.issued | 2011-01 | - |
dc.identifier.citation | Areces, C., Blackburn, P., Huertas, M.A. & Manzano Arjona, M. (2011). Hybrid Type Theory: A Quartet in Four Movements. Principia: revista internacional de epistemologia, 15(2), 225-247. doi: 10.5007/1808-1711.2011v15n2p225 | en |
dc.identifier.issn | 1808-1711MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/109878 | - |
dc.description.abstract | This paper sings a song -a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin. Although the work of the first three of these authors have previously been combined, adding the ideas of Leon Henkin is the addition required to make the combination work at the logical level. But the present paper does not focus on the underlying technicalities (these can be found in Areces, Blackburn, Huertas, and Manzano [to appear]) rather it focusses on the underlying instruments, and the way they work together. We hope the reader will be tempted to sing along. | en |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.publisher | Principia: revista internacional de epistemologia | - |
dc.relation.ispartof | Principia, 2011, 15(2) | - |
dc.relation.uri | https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n2p225 | - |
dc.rights | CC BY-NC-ND | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | - |
dc.subject | tense logic | en |
dc.subject | intensional logic | en |
dc.subject | type theory | en |
dc.subject | modal logic | en |
dc.subject | completeness | en |
dc.subject | lògica del temps | ca |
dc.subject | lógica del tiempo | es |
dc.subject | lógica intensional | es |
dc.subject | lògica intensional | ca |
dc.subject | teoría de tipos | es |
dc.subject | teoria de tipus | ca |
dc.subject | lògica modal | ca |
dc.subject | lógica modal | es |
dc.subject | integritat | ca |
dc.subject | integridad | es |
dc.subject.lcsh | Logic | en |
dc.title | Hybrid type theory: a quartet in four movements | - |
dc.type | info:eu-repo/semantics/article | - |
dc.subject.lemac | Lògica | ca |
dc.subject.lcshes | Lógica | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
dc.identifier.doi | 10.5007/1808-1711.2011v15n2p225 | - |
dc.gir.id | AR/0000002584 | - |
dc.relation.projectID | info:eu-repo/grantAgreement/FFI2009-09345/FISO | - |
dc.type.version | info:eu-repo/semantics/publishedVersion | - |
Aparece en las colecciones: | Articles Articles cientÍfics |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Huertas_Principia_Hybrid.pdf | 195,42 kB | Adobe PDF | Visualizar/Abrir |
Comparte:
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons