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

Order:
  1.  34
    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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation