Propositions and orthocomplementation in quantum logic
scientific article; zbMATH DE number 3700831