LOGICS FROM QUANTUM COMPUTATION WITH BOUNDED ADDITIVE OPERATORS
From MaRDI portal
Publication:2909551
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
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.