Topology Atlas | Conferences

Knots in Washington XLIII; 60th birthday of J. Scott Carter
December 9-11, 2016
George Washington University
Washington, DC, USA

Organizers
Valentina Harizanov (GWU), Jozef H. Przytycki (GWU), Yongwu Rong (GWU), Radmila Sazdanovic (NCSU), Alexander Shumakovitch (GWU), Hao Wu (GWU)

Conference Homepage


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.