with Heunen, C. , Spitters, B. , 2012, 'Bohrification of operator algebras and quantum logic', Synthese 186 (3), 719-752.