Holistic type extension for classical propositional logic in quantum computation
Quantum Physics
2019-04-10 v1
Abstract
A holistic extension of classical propositional logic is introduced in the framework of quantum computation with mixed states. The concepts of tautology and contradiction are investigated in this extensions. A special family of quantum states are investigated as particular cases of "holistic" contradiction.
Cite
@article{arxiv.1904.04561,
title = {Holistic type extension for classical propositional logic in quantum computation},
author = {H. Freytes and R. Giuntini and G. Sergioli},
journal= {arXiv preprint arXiv:1904.04561},
year = {2019}
}