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
Archivos asociados