Completeness of quantum logic
scientific article; zbMATH DE number 3521952