Quantum logic as motivated by quantum computing
Quantum logic as motivated by quantum computing
§1. Introduction . Our understanding of Nature comes in layers, so should the development of logic. Classic logic is an indispensable part of our knowledge, and its interactions with computer science have recently dramatically changed our life. A new layer of logic has been developing ever since the discovery of …