SEARCH

SEARCH BY CITATION

Keywords:

  • Quantum computational logic;
  • MV-algebras;
  • PMV-algebras. MSC (2010) 06B99;
  • 03B52;
  • 06D35

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.