INVESTIGADORES
BONELLI Eduardo Augusto
artículos
Título:
Hypothetical Logic of Proofs
Autor/es:
EDUARDO BONELLI; GABRIELA STEREN
Revista:
Logica Universails
Editorial:
Springer Verlag
Referencias:
Año: 2014 vol. 8 p. 103 - 140
ISSN:
1661-8297
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
