A new axiomatization of unified quantum logic
scientific article; zbMATH DE number 417101
scientific article