Quantum computational logic with mixed states

Authors

  • Hector Freytes,

    Corresponding author
    1. Universidad Nacional de Rosario, Departamento de Matemática, Consejo Nacional de Investigaciones Científicas y Técnicas, Av. Pellegrini 250, CP. 2000, Rosario, Argentina
    • Universidad Nacional de Rosario, Departamento de Matemática, Consejo Nacional de Investigaciones Científicas y Técnicas, Av. Pellegrini 250, CP. 2000, Rosario, Argentina
    Search for more papers by this author
  • Graciela Domenech

    1. Universidad de Buenos Aires, Instituto de Astronomía y Física del Espacio, Consejo Nacional de Investigaciones Científicas y Técnicas, Casilla de Correo 67, Sucursal 28, 1428 Buenos Aires, Argentina
    Search for more papers by this author

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.

Ancillary