Quantum logic
Dan Carageorgopol (Technical University of Civil Engineering Bucharest, Romania)
Abstract of lecture, April 28, 2009

Quantum logics are a type of non-classical logics which provide a model for the logic of quantum mechanics. It has been shown that the appropriate logics for this purpose are orthomodular lattices, the most natural abstraction from the set of subspaces of a Hilbert space. The main properties of those logical structures will be presented, including properties of compatibility relation, atomicity and of Boolean sublogics.