Chris Heunen, Nicolaas P. Landsman, Bas Spitters, Bohrification of operator algebras and quantum logic, Synthese, Vol. 186, No. 3, LOGIC MEETS PHYSICS (June 2012), pp ...

Boolean logic: The method used to evaluate conditions, returning either TRUE or FALSE. Logical functions: The primary logical ...