Mostrar el registro sencillo del ítem

dc.contributor.author
Freytes Solari, Hector Carlos  
dc.contributor.author
Domenech, Graciela  
dc.date.available
2017-07-24T21:26:23Z  
dc.date.issued
2013-01  
dc.identifier.citation
Freytes Solari, Hector Carlos; Domenech, Graciela; Quantum computational logic with mixed states; Wiley VCH Verlag; Mathematical Logic Quarterly; 59; 1-2; 1-2013; 27-50  
dc.identifier.issn
0942-5616  
dc.identifier.uri
http://hdl.handle.net/11336/21242  
dc.description.abstract
In this paper we solve the problem how to axiomatize a system of quantum computational gates known as the Poincaré irreversible quantum computational system. A Hilbert-style calculus is introduced obtaining a strong completeness theorem.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Wiley VCH Verlag  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Quantum Computational Logic  
dc.subject
Mv-Algebras  
dc.subject
Pmv-Algebras  
dc.subject.classification
Matemática Aplicada  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Quantum computational logic with mixed states  
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
2017-07-21T19:05:24Z  
dc.journal.volume
59  
dc.journal.number
1-2  
dc.journal.pagination
27-50  
dc.journal.pais
Alemania  
dc.description.fil
Fil: Freytes Solari, Hector Carlos. Universidad Nacional de Rosario; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina  
dc.description.fil
Fil: Domenech, Graciela. Consejo Nacional de Investigaciónes Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Astronomía y Física del Espacio. - Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Astronomía y Física del Espacio; Argentina  
dc.journal.title
Mathematical Logic Quarterly  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1002/malq.201110030  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://onlinelibrary.wiley.com/doi/10.1002/malq.201110030/abstract