Mostrar el registro sencillo del ítem
dc.contributor.author
Steren, Gabriela
dc.contributor.author
Bonelli, Eduardo Augusto
dc.date.available
2017-11-15T14:20:21Z
dc.date.issued
2013-10
dc.identifier.citation
Steren, Gabriela; Bonelli, Eduardo Augusto; Intuitionistic Hypothetical Logic of Proof; Elsevier Science; Electronic Notes in Theoretical Computer Science; 300; 10-2013; 89-103
dc.identifier.issn
1571-0661
dc.identifier.uri
http://hdl.handle.net/11336/28208
dc.description.abstract
We study a term assignment for an intuitonistic fragment of the Logic of Proofs (LP). LP is a refinement of modal logic S4 in which the assertion ✷A is replaced by [[s]]A whose intended reading is “s is a proof of A”. We first introduce a natural deduction presentation based on hypothetical judgements and then its term assignment, which yields a confluent and strongly normalising typed lambda calculus λIHLP. This work is part of an ongoing effort towards reformulating LP in terms of hypothetical reasoning in order to explore its applications in programming languages.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Elsevier Science
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
Curry-Howard
dc.subject
Logic of Proofs
dc.subject
Lambda Calculus
dc.subject
Programming Languages
dc.subject.classification
Ciencias de la Computación
dc.subject.classification
Ciencias de la Computación e Información
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Intuitionistic Hypothetical Logic of Proof
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2017-11-15T14:10:19Z
dc.journal.volume
300
dc.journal.pagination
89-103
dc.journal.pais
Países Bajos
dc.journal.ciudad
Amsterdam
dc.description.fil
Fil: Steren, Gabriela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina
dc.description.fil
Fil: Bonelli, Eduardo Augusto. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.journal.title
Electronic Notes in Theoretical Computer Science
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.entcs.2013.12.013
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S1571066113000935
Archivos asociados
Tamaño:
301.9Kb
Formato:
PDF