Hypothetical Logic of Proofs

Bonelli, Eduardo Augusto; Steren, Gabriela

Hypothetical Logic of Proofs Volver a la Vista simple
dc.conicet.fuente	individual
dc.conicet.organizacion	Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología
dc.conicet.organizacion	Consejo Nacional de Investigaciones Científicas y Técnicas
dc.conicet.organizacion	Instituto Tecnológico de Buenos Aires
dc.conicet.organizacion	Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
dc.conicet.paisOrganizacion	Argentina
dc.conicet.paisOrganizacion	Argentina
dc.conicet.paisOrganizacion	Argentina
dc.conicet.paisOrganizacion	Argentina
dc.conicet.produccionid	5208742
dc.contributor.author	Bonelli, Eduardo Augusto
dc.contributor.author	Steren, Gabriela
dc.date.accessioned	2018-01-23T18:21:14Z
dc.date.available	2018-01-23T18:21:14Z
dc.date.issued	2014-03
dc.date.updated	2018-01-23T17:18:17Z
dc.description.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	es
dc.description.fil	Fil: Bonelli, Eduardo Augusto. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Instituto Tecnológico de Buenos Aires; Argentina
dc.description.fil	Fil: Steren, Gabriela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina
dc.format	application/pdf	es
dc.identifier.citation	Bonelli, Eduardo Augusto; Steren, Gabriela; Hypothetical Logic of Proofs; Springer; Logica Universalis; 8; 1; 3-2014; 103-140	es
dc.identifier.institucional	CONICET
dc.identifier.issn	1661-8297	es
dc.identifier.repo	CONICET Digital
dc.identifier.uri	http://hdl.handle.net/11336/34300
dc.journal.ciudad	Basilea	es
dc.journal.number	1	es
dc.journal.pagination	103-140	es
dc.journal.pais	Suiza	es
dc.journal.title	Logica Universalis	es
dc.journal.volume	8	es
dc.language.iso	eng	es
dc.publisher	Springer	es
dc.relation.alternativeid	info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/article/10.1007%2Fs11787-014-0098-0
dc.relation.alternativeid	info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s11787-014-0098-0
dc.rights	info:eu-repo/semantics/openAccess	*
dc.rights.uri	https://creativecommons.org/licenses/by-nc-sa/2.5/ar/	*
dc.subject	Lambda Calculus	es
dc.subject	Curry-Howard Isomorphism	es
dc.subject	Logic of Proofs	es
dc.subject	Modal Logic	es
dc.subject	Natural Deduction	es
dc.subject	Lambda Mu-Calculus	es
dc.subject.classification	Ciencias de la Computación	es
dc.subject.classification	Ciencias de la Computación e Información	es
dc.subject.classification	CIENCIAS NATURALES Y EXACTAS	es
dc.title	Hypothetical Logic of Proofs	es
dc.type	info:eu-repo/semantics/article
dc.type	info:ar-repo/semantics/artículo
dc.type	info:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Nombre:: CONICET_Digital_Nro.ad0a09c2-c2e7-4cb2-89b3-0c83675361f3_A.pdf
Tamaño:: 1.59 MB
Formato:: Adobe Portable Document Format

Descargar

Colecciones

Articulos(SEDE CENTRAL)

Volver a la Vista simple