Negative translations of orthomodular lattices and their logic
scientific article; zbMATH DE number 7951937
scientific article