Artículo

Hypothetical Logic of Proofs

 Bonelli, Eduardo Augusto Icon; Steren, Gabriela

Otros responsables

Fecha

03/2014

Editorial

Springer

Revista

Logica Universalis

Título del libro

Nombre del evento

Fecha del evento

Institución organizadora

ISSN

1661-8297

eISSN

ISBN

Idioma

Inglés

Tipo del evento

Clasificación temática

Ciencias de la Computación

Palabras clave

Lambda Calculus , Curry-Howard Isomorphism , Logic of Proofs , Modal Logic , Natural Deduction , Lambda Mu-Calculus

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

URI

http://hdl.handle.net/11336/34300

Colecciones

Articulos(SEDE CENTRAL)

Aprobación

Revisión

Complementado por

Referenciado por

Licencia Creative Commons

by-nc-sa
Excepto donde se indique lo contrario, la licencia de este ítem se describe como by-nc-sa
Archivos asociados
Miniatura

Archivos

Principal CONICET_Digital_Nro.ad0a09c2-c2e7-4cb2-89b3-0c83675361f3_A.pdf (1.59 MB)
Identificadores
URI: http://hdl.handle.net/11336/34300
DOI: http://dx.doi.org/10.1007/s11787-014-0098-0
URL: http://link.springer.com/article/10.1007%2Fs11787-014-0098-0
Citación
Bonelli, Eduardo Augusto; Steren, Gabriela; Hypothetical Logic of Proofs; Springer; Logica Universalis; 8; 1; 3-2014; 103-140
Altmétricas