On the law \((a \cdot b^\prime)^\prime= b+a^\prime\cdot b^\prime\) in De Morgan algebras and orthomodular lattices
scientific article; zbMATH DE number 2184856