Testing for Classicality of a Physical System

Abstract

Often quantum logics are algebraically modelled by orthomodular posets. The physical system described by such a quantum logic is classical if and only if the corresponding orthomodular poset is a Boolean algebra. We provide an easy testing procedure for this case. Moreover, we characterize orthomodular posets which are lattices and consider orthomodular posets which admit a full set of states and hence represent so-called spaces of numerical events. This way further test procedures are obtained.