Results for 'PMV‐algebras. MSC (2010) 06B99'

Did you mean: PM‐algebras. MISC (W) B
  1.  17
    Quantum Computational Logic with Mixed States.Hector Freytes & Graciela Domenech - 2013 - Mathematical Logic Quarterly 59 (1-2):27-50.
    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.
    Direct download (4 more)  
    Export citation