An axiomatic system suggested by quantum computation

DOI10.1093/LOGCOM/EXP008MaRDI QIDQ3656770zbMATH OpenOpenAlexFDO

Authors Cesarino Bertini, Roberto Leporini

Publication date 14 January 2010

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exp008

zbMATH Keywords

PMV algebraproduct Łukasiewicz logicquantum algebraquantum computationquantum logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Quantum logic (03G12) Quantum computation (81P68)

Recommendations

• Fuzzy propositional logic associated with quantum computational gates
• Quantum computational logic with mixed states
• QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS
• A fuzzy approach to quantum logical computation
• An unsharp logic from quantum computation

Cited in

(5)

• Fuzzy propositional logic associated with quantum computational gates
• scientific article; zbMATH DE number 107769 (Why is no real title available?)
• Quantum logic and quantum computation
• A triadic theory of elementary particle interactions and quantum computation.
• An axiomatization of quantum computational Logic

This page was built for publication: An axiomatic system suggested by quantum computation

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