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