ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
scientific article; zbMATH DE number 6826851
scientific article