An axiomatization of quantum computational Logic

DOI10.21146/2074-1472-2023-29-2-148-162MaRDI QIDQ6143293zbMATH OpenOpenAlexFDO

Authors Vladimir L. Vasyukov

Publication date 23 January 2024

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2023-29-2-148-162

zbMATH Keywords

binary logicparaconsistencyquantum computationquantum computational realization

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• An unsharp logic from quantum computation
• An axiomatic system suggested by quantum computation
• QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS
• Towards quantum computational logics
• LOGICS FROM QUANTUM COMPUTATION

Cites work

• An unsharp logic from quantum computation
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Semantic analysis of orthologic

This page was built for publication: An axiomatization of quantum computational Logic

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