Hypothetical Logic of Proofs

Bonelli, Eduardo Augusto; Steren, Gabriela

Artículos de revistas

Fecha

2014-03

Registro en:

Bonelli, Eduardo Augusto; Steren, Gabriela; Hypothetical Logic of Proofs; Springer; Logica Universalis; 8; 1; 3-2014; 103-140

1661-8297

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

CONICET Digital

CONICET

http://repositorioslatinoamericanos.uchile.cl/handle/2250/1887518

Autor

Bonelli, Eduardo Augusto

Steren, Gabriela

Institución

Consejo Nacional de Investigaciones Científicas y Tecnológicas (Argentina)

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

Materias

Lambda Calculus

Curry-Howard Isomorphism

Mostrar el registro completo del ítem