An unsharp logic from quantum computation

DOI10.1023/B:IJTP.0000048821.56239.cbzbMath1074.81012arXivquant-ph/0201013MaRDI QIDQ1768735

Roberto Leporini, Gianpiero Cattaneo, Maria Luisa Dalla Chiara, Roberto Giuntini

Publication date: 15 March 2005

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/quant-ph/0201013

zbMATH Keywords

quantum computationquantum logic

Mathematics Subject Classification ID

Quantum computation (81P68) Analytic circuit theory (94C05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Related Items

LOGICS FROM QUANTUM COMPUTATION WITH BOUNDED ADDITIVE OPERATORS ⋮ Quantum computational structures: Categorical equivalence for square root \(\mathrm{qMV}\)-algebras ⋮ QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS ⋮ An axiomatization of quantum computational Logic ⋮ A note on many valued quantum computational logics ⋮ Automata theory based on quantum logic: reversibilities and pushdown automata ⋮ Expanding quasi-MV algebras by a quantum operator ⋮ Quantum computational logic with mixed states ⋮ States, state operators and quasi-pseudo-MV algebras ⋮ Fuzzy approach for Toffoli gate in quantum computation with mixed states ⋮ MV-algebras and quantum computation ⋮ Qubit semantics and quantum trees ⋮ Fuzzy propositional logic associated with quantum computational gates ⋮ Some generalizations of fuzzy structures in quantum computational logic ⋮ Categories of semigroups in quantum computational structures ⋮ A discriminator variety of Gödel algebras with operators arising in quantum computation