On Definition of Skew Frames

Abstract

Skew frames represent a common generalization of frames and orthomodular lattices. They could serve as Lindenbaum algebras of quantum intuitionistic logic as well as invariants of noncommutative C*-algebras. It is shown that lattices of open projections with skew (partial) operations are complete invariants of C*-algebras and that these operations are preserved by morphims of C*-algebras.