IAFE 05512
INSTITUTO DE ASTRONOMIA Y FISICA DEL ESPACIO
Unidad Ejecutora - UE
artículos
Título:
Quantum computational logic with mixed states
Autor/es:
H. FREYTES, G. DOMENECH
Revista:
MATHEMATICAL LOGIC QUARTERLY
Editorial:
WILEY-V C H VERLAG GMBH
Referencias:
Lugar: Weinheim; Año: 2012
ISSN:
0942-5616
Resumen:
In this paper we solve a problem about the axiomatizability of a system of quantum computational gates known as the Poincar´e irreversible quantum computational system. A Hilber tstyle calculus is introduced obtaining a strong completeness theorem.
