An axiomatization of quantum computational Logic

DOI10.21146/2074-1472-2023-29-2-148-162OpenAlexW4388529918MaRDI QIDQ6143293

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

paraconsistencyquantum computationbinary logicquantum computational realization

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

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