|
Organizers |
Quantum, logic and computing
by
Areski Nait Abdallah
Univ. of Western Ontario, Canada and INRIA Paris, France
We discuss the relevance of formal logic proofs in the formalization of quantum information in quantum mechanics, and their application to some quantum mechanics paradoxes.
To that end we use lambda-calculus and the logic of partial information.
Date received: November 8, 2016
Copyright © 2016 by the author(s). The author(s) of this work and the organizers of the conference have granted their consent to include this abstract in Topology Atlas. Document # cbnq-19.