Hypothetical Logic of Proofs

dc.creatorBonelli, Eduardo Augusto
dc.creatorSteren, Gabriela
dc.date.accessioned2018-01-23T18:21:14Z
dc.date.accessioned2018-11-06T14:32:36Z
dc.date.available2018-01-23T18:21:14Z
dc.date.available2018-11-06T14:32:36Z
dc.date.created2018-01-23T18:21:14Z
dc.date.issued2014-03
dc.identifierBonelli, Eduardo Augusto; Steren, Gabriela; Hypothetical Logic of Proofs; Springer; Logica Universalis; 8; 1; 3-2014; 103-140
dc.identifier1661-8297
dc.identifierhttp://hdl.handle.net/11336/34300
dc.identifierCONICET Digital
dc.identifierCONICET
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1887518
dc.description.abstractThe 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
dc.languageeng
dc.publisherSpringer
dc.relationinfo:eu-repo/semantics/altIdentifier/url/http://link.springer.com/article/10.1007%2Fs11787-014-0098-0
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s11787-014-0098-0
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subjectLambda Calculus
dc.subjectCurry-Howard Isomorphism
dc.subjectLogic of Proofs
dc.subjectModal Logic
dc.subjectNatural deduction
dc.subjectLambda Mu-calculus
dc.titleHypothetical Logic of Proofs
dc.typeArtículos de revistas
dc.typeArtículos de revistas
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución