Varieties corresponding to classes of complemented posets

Ivan Chajda, Miroslav Kolařík, Helmut Länger

As algebraic semantics of the logic of quantum mechanics there are usually used orthomodular posets, i.e. bounded posets with a complementation which is an antitone involution and…