Fuzzy Propositional Logic Associated with Quantum Computational Gates

We apply residuated structures associated with fuzzy logic to develop certain aspects of information processing in quantum computing from a logical perspective. For this purpose, we introduce an axiomatic system whose natural interpretation is the irreversible quantum Poincaré structure.

[1]  Lov K. Grover,et al.  Quantum computation , 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).

[2]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[3]  Beloslav Riečan,et al.  Probability on MV algebras , 1997 .

[4]  J. Neumann,et al.  The Logic of Quantum Mechanics , 1936 .

[5]  Stan Gudder,et al.  Quantum Computational Logic , 2003 .

[6]  Franco Montagna,et al.  An Algebraic Approach to Propositional Fuzzy Logic , 2000, J. Log. Lang. Inf..

[7]  D. Mundici,et al.  Algebraic Foundations of Many-Valued Reasoning , 1999 .

[8]  Jan Pavelka,et al.  On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi , 1979, Math. Log. Q..

[9]  I. Chuang,et al.  Quantum Computation and Quantum Information: Bibliography , 2010 .

[10]  H. Freytes.  Injectives in residuated algebras , 2004, 0806.4946.

[11]  M. L. Dalla Chiara,et al.  Quantum Computational Logics. A Survey , 2003 .

[12]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[13]  M. L. Dalla Chiara,et al.  An Unsharp Logic from Quantum Computation , 2002, quant-ph/0201013.

[14]  Roberto Giuntini,et al.  Quantum computational logic , 2004 .

[15]  Charles H. Bennett,et al.  Logical reversibility of computation , 1973 .

[16]  David Deutsch,et al.  Machines, logic and quantum physics , 2000, Bull. Symb. Log..

[17]  Samuel J. Lomonaco,et al.  Quantum Computation: A Grand Mathematical Challenge for the Twenty-First Century and the Millennium: American Mathematical Challenge Society, Short Course, January 17-18, 2000, Washington, DC , 2002 .

[18]  Hector Freytes,et al.  Contextual logic for quantum systems , 2005 .