Boolean logic is an essential part of mathematics, engineering, and programming. In most languages, there's a dedicated ...

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 ...