Hypothetical Logic of Proofs |
| |
| Authors: | Eduardo Bonelli Gabriela Steren |
| |
| Institution: | 1. CONICET, UNQ and ITBA, Roque Sáenz Pe?a 352, Bernal, Buenos Aires, Argentina
2. UBA, Buenos Aires, Argentina
|
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
