De Morgan property for effect algebras of von Neumann algebras.
de Morgan Brouwer-Zadeh algebras: unsharp quantum mechanics
scientific article; zbMATH DE number 1781851