No abstract

No abstract

We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples arise in the study of endomorphism quantales and of the spectra of operator algebras. We construct, for an arbitrary sup-lattice S, a Girard quantale whose right-sided part is isomorphic to S.

No 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.