LOGICS FROM QUANTUM COMPUTATION

DOI10.1142/S0219749905000943zbMath1075.81015OpenAlexW2171887607MaRDI QIDQ5696621

Maria Luisa Dalla Chiara, Roberto Leporini, Roberto Giuntini

Publication date: 18 October 2005

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

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

zbMATH Keywords

quantum logicQuantum computation

Mathematics Subject Classification ID

Quantum computation (81P68) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Related Items (26)

Quantum structures in qudit spaces ⋮ LOGICS FROM QUANTUM COMPUTATION WITH BOUNDED ADDITIVE OPERATORS ⋮ Holistic and compositional logics based on the Bertini gate ⋮ Fuzzy representation of finite-valued quantum gates ⋮ The Toffoli-Hadamard gate system: an algebraic approach ⋮ A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0 ⋮ A first-order epistemic quantum computational semantics with relativistic-like epistemic effects ⋮ Compositional and holistic quantum computational semantics ⋮ Quantum logic and quantum reconstruction ⋮ Quantum computational logics and possible applications ⋮ Product Łukasiewicz quantum logic ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ Quantum approach to epistemic semantics ⋮ A note on many valued quantum computational logics ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras ⋮ Expanding quasi-MV algebras by a quantum operator ⋮ Entanglement as a semantic resource ⋮ Probability in quantum computation and quantum computational logics: a survey ⋮ Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics ⋮ A fuzzy approach to quantum logical computation ⋮ A many-valued approach to quantum computational logics ⋮ The algebraic structure of an approximately universal system of quantum computational gates ⋮ Some generalizations of fuzzy structures in quantum computational logic ⋮ Holism, ambiguity and approximation in the logics of quantum computation: a survey ⋮ Square root of ‘not’: a major difference between fuzzy and quantum logics ⋮ A discriminator variety of Gödel algebras with operators arising in quantum computation

Cites Work

• Unnamed Item
• Automata theory based on quantum logic: Some characterizations
• Foundation for quantum computing
• Automata theory based on quantum logic. I
• Quantum computational logic
• The logic of quantum mechanics
• Orthologic and quantum logic
• Automata theory based on quantum logic. II.

This page was built for publication: LOGICS FROM QUANTUM COMPUTATION