Holistic and compositional logics based on the Bertini gate
From MaRDI portal
Publication:2153998
DOI10.1007/S10699-020-09703-YzbMath1492.81022OpenAlexW3091781725MaRDI QIDQ2153998
Publication date: 13 July 2022
Published in: Foundations of Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10699-020-09703-y
Related Items (1)
Cites Work
- Unnamed Item
- A logical analysis of quantum voting protocols
- Quantum conservative many-valued computing
- Conservative logic
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
- A many-valued approach to quantum computational logics
- Fuzzy representation of finite-valued quantum gates
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS
- LOGICS FROM QUANTUM COMPUTATION
This page was built for publication: Holistic and compositional logics based on the Bertini gate