Mostrar el registro sencillo del ítem

dc.contributor.author
Díaz Caro, Alejandro  
dc.contributor.author
Dowek, Gilles  
dc.date.available
2021-01-21T15:55:24Z  
dc.date.issued
2019-06  
dc.identifier.citation
Díaz Caro, Alejandro; Dowek, Gilles ; Proof Normalisation in a Logic Identifying Isomorphic Propositions; Schloss Dagstuhl. Leibniz-Zentrum für Informatik; Leibniz International Proceedings in Informatics, LIPIcs; 131; 6-2019; 1-23  
dc.identifier.issn
1868-8969  
dc.identifier.uri
http://hdl.handle.net/11336/123317  
dc.description.abstract
We define a fragment of propositional logic where isomorphic propositions, such as A ∧ B and B ∧ A, or A ⇒ (B ∧ C) and (A ⇒ B) ∧ (A ⇒ C) are identified. We define System I, a proof language for this logic, and prove its normalisation and consistency.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Schloss Dagstuhl. Leibniz-Zentrum für Informatik  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by/2.5/ar/  
dc.subject
CUT-ELIMINATION  
dc.subject
ISOMORPHISMS  
dc.subject
LOGIC  
dc.subject
PROOF-REDUCTION  
dc.subject
SIMPLY TYPED LAMBDA CALCULUS  
dc.subject.classification
Ciencias de la Computación  
dc.subject.classification
Ciencias de la Computación e Información  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Proof Normalisation in a Logic Identifying Isomorphic Propositions  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2020-11-30T14:18:10Z  
dc.journal.volume
131  
dc.journal.pagination
1-23  
dc.journal.pais
Alemania  
dc.description.fil
Fil: Díaz Caro, Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina. Universidad Nacional de Quilmes; Argentina  
dc.description.fil
Fil: Dowek, Gilles. No especifíca;  
dc.journal.title
Leibniz International Proceedings in Informatics, LIPIcs  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://drops.dagstuhl.de/opus/volltexte/2019/10521/  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.4230/LIPIcs.FSCD.2019.14  

Archivos asociados
Thumbnail
 
Tamaño: 553.3Kb
Formato: PDF
.