LOGICS FROM QUANTUM COMPUTATION WITH BOUNDED ADDITIVE OPERATORS

DOI10.1142/S0219749912500360zbMath1246.81042OpenAlexW2087426375MaRDI QIDQ2909551

Roberto Leporini, Cesarino Bertini

Publication date: 30 August 2012

Published in: International Journal of Quantum Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0219749912500360

zbMATH Keywords

quantum computationquantum logic

Mathematics Subject Classification ID

Quantum computation (81P68) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum algorithms and complexity in the theory of computing (68Q12)

Cites Work

• Unnamed Item
• Automata theory based on quantum logic: Some characterizations
• Foundation for quantum computing
• Automata theory based on quantum logic. I
• An unsharp logic from quantum computation
• Quantum computational logic
• Quantum observables in classical frameworks
• The logic of quantum mechanics
• Orthologic and quantum logic
• Mobility of nonlinear systems
• Effect algebras and statistical physical theories
• A classical extension of quantum mechanics
• LOGICS FROM QUANTUM COMPUTATION
• Automata theory based on quantum logic. II.