Quantum computational logic with mixed states

Freytes Solari, Hector Carlos; Domenech, Graciela

doi:10.1002/malq.201110030

Artículo

Quantum computational logic with mixed states

Freytes Solari, Hector Carlos Icon

; Domenech, Graciela Icon

Fecha de publicación: 01/2013

Editorial: Wiley VCH Verlag

Revista: Mathematical Logic Quarterly

ISSN: 0942-5616

Idioma: Inglés

Tipo de recurso: Artículo publicado

Clasificación temática:

Matemática Aplicada

Resumen

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.

Palabras clave: Quantum Computational Logic , Mv-Algebras , Pmv-Algebras

Ver el registro completo

Archivos asociados

Tamaño: 979.9Kb

Formato: PDF

Descargar

Licencia

Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)

Identificadores

URI: http://hdl.handle.net/11336/21242

DOI: http://dx.doi.org/10.1002/malq.201110030

URL: http://onlinelibrary.wiley.com/doi/10.1002/malq.201110030/abstract

Colecciones

Articulos(CCT - ROSARIO)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - ROSARIO

Articulos(IAFE)
Articulos de INST.DE ASTRONOMIA Y FISICA DEL ESPACIO(I)

Citación

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

Altmétricas