Mostrar el registro sencillo del ítem

dc.contributor.author
Bonelli, Eduardo Augusto  
dc.contributor.author
Steren, Gabriela  
dc.date.available
2018-01-23T18:21:14Z  
dc.date.issued
2014-03  
dc.identifier.citation
Bonelli, Eduardo Augusto; Steren, Gabriela; Hypothetical Logic of Proofs; Springer; Logica Universalis; 8; 1; 3-2014; 103-140  
dc.identifier.issn
1661-8297  
dc.identifier.uri
http://hdl.handle.net/11336/34300  
dc.description.abstract
The logic of proofs is a refinement of modal logic introduced by Artemov in 1995 in which the modality ◻A is revisited as ⟦t⟧A where t is an expression that bears witness to the validity of A. It enjoys arithmetical soundness and completeness and is capable of reflecting its own proofs (⊦A implies ⊦ ⟦t⟧A, for some t). We develop the Hypothetical Logic of Proofs, a reformulation of LP based on judgemental reasoning  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Springer  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Lambda Calculus  
dc.subject
Curry-Howard Isomorphism  
dc.subject
Logic of Proofs  
dc.subject
Modal Logic  
dc.subject
Natural Deduction  
dc.subject
Lambda Mu-Calculus  
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
Hypothetical Logic of Proofs  
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
2018-01-23T17:18:17Z  
dc.journal.volume
8  
dc.journal.number
1  
dc.journal.pagination
103-140  
dc.journal.pais
Suiza  
dc.journal.ciudad
Basilea  
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. Instituto Tecnológico de Buenos Aires; Argentina  
dc.description.fil
Fil: Steren, Gabriela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina  
dc.journal.title
Logica Universalis  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/article/10.1007%2Fs11787-014-0098-0  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s11787-014-0098-0  

Archivos asociados
Thumbnail
 
Tamaño: 1.593Mb
Formato: PDF
.