Holistic type extension for classical propositional logic in quantum computation
arXiv:1904.04561
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.