Quantifiers and orthomodular lattices
scientific article