Quantum computational logic with mixed states

DOI10.1002/MALQ.201110030MaRDI QIDQ4915217zbMATH OpenOpenAlexFDO

Authors H. Freytes, G. Domenech

Publication date 9 April 2013

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1002.5025, http://hdl.handle.net/11336/21242

zbMATH Keywords

MV-algebrasPMV-algebrasquantum computational logic

Mathematics Subject Classification ID

Logic in computer science (03B70) MV-algebras (06D35) Quantum computation (81P68)

Abstract: Using an algebraic framework we solve a problem posed in [5] and [7] about the axiomatizability of a quantum computational type logic related to fuzzy logic. A Hilbert-style calculus is developed obtaining an algebraic strong completeness theorem.

Recommendations

• Quantum computational logic
• scientific article; zbMATH DE number 1775384
• Quantum logic and quantum computation
• QUANTUM LOGICS WITH JAUCH–PIRON STATES
• Quantum Logics with Lattice State Spaces
• Compositional quantum logic
• Quantum logics with classically determined states
• Towards quantum computational logics
• Topos quantum logic and mixed states

Cites work

• Algebraic foundations of many-valued reasoning
• An algebraic approach to propositional fuzzy logic
• An algorithm for ``Ulam's Game and its application to error correcting codes
• An unsharp logic from quantum computation
• Expanding quasi-MV algebras by a quantum operator
• Fast quantum algorithms for handling probabilistic and interval uncertainty
• Functorial representation theorems for MV\(_\Delta\) algebras with additional operators
• Fuzzy propositional logic associated with quantum computational gates
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Metamathematics of fuzzy logic
• MV-algebras and quantum computation
• Notes on ordered rings
• Product Łukasiewicz logic
• Quantum computational logic
• Quantum computer with mixed states and four-valued logic
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Representing continuoust-norms in quantum computation with mixed states
• Sequential products on effect algebras
• Uniqueness and order in sequential effect algebras

Cited in

(13)

• Foundation for quantum computing
• Quantum structures in qudit spaces
• Toffoli gate and quantum correlations: a geometrical approach
• Ideals and congruences in quasi-pseudo-MV algebras
• Fuzzy approach for Toffoli gate in quantum computation with mixed states
• On an explicit representation of the Łukasiewicz sum as a quantum operation
• An axiomatic system suggested by quantum computation
• QUANTUM LOGICS WITH JAUCH–PIRON STATES
• scientific article; zbMATH DE number 2236756 (Why is no real title available?)
• Quantum probability: a reliable tool for an agent or a reliable source of reality?
• Fuzzy type representation of the Fredkin gate in quantum computation with mixed states
• Intuitionistic fuzzy interpretation of quantum logic axioms
• Entanglement and quantum logical gates. I.

This page was built for publication: Quantum computational logic with mixed states

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4915217)