Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

12 December 2014, Colloquium on Mathematical Logic, Jouko Vaananen

Speaker: Jouko Vaananen
Title: Quantum team logic
Date: Friday 12 December 2014
Time: 16:00-17:00
Location: Drift 6, zaal 007, Utrecht

A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy. We point out that these logical Bell's Inequalities are provable in the probability logic of Fagin, Halpern and Megiddo. Since it is now considered empirically established that quantum mechanics violates Bell's Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell's Inequalities are not provable, and prove a Completeness Theorem for this logic. For this end we generalise the team semantics of dependence logic first to probabilistic team semantics, and then to, what we call quantum team semantics.

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg ().

Please note that this newsitem has been archived, and may contain outdated information or links.