Artículo

Hypothetical Logic of Proofs

Bonelli, Eduardo AugustoIcon ; Steren, Gabriela
Fecha de publicación: 03/2014
Editorial: Springer
Revista: Logica Universalis
ISSN: 1661-8297
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

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
Palabras clave: Lambda Calculus , Curry-Howard Isomorphism , Logic of Proofs , Modal Logic , Natural Deduction , Lambda Mu-Calculus
 
Archivos asociados
Thumbnail
 
Tamaño: 1.593Mb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/34300
URL: http://link.springer.com/article/10.1007%2Fs11787-014-0098-0
DOI: http://dx.doi.org/10.1007/s11787-014-0098-0
Colecciones
Articulos(SEDE CENTRAL)
Articulos de SEDE CENTRAL
Citación
Bonelli, Eduardo Augusto; Steren, Gabriela; Hypothetical Logic of Proofs; Springer; Logica Universalis; 8; 1; 3-2014; 103-140
Compartir
Altmétricas