A hierarchy of weak double negations
scientific article; zbMATH DE number 6305269