Projectales (Q1181472)

The author studies partially ordered algebraic objects called projectales, which are intended as a common generalization of Heyting algebras and orthomodular lattices. More specifically, a projectale is a lattice \(A\) with a binary operation \(\circ\) (not necessarily associative or commutative) such that \(a\circ\relbar: A\to A\) has a right adjoint \(a\Rightarrow\relbar\), together with certain axioms on \(\circ\). If one removes these additional axioms, one has precisely the notion of a quantic lattice, which has been independently investigated in some detail by \textit{L. Roman} and \textit{B. Rumbos} [ibid. 73, No. 2, 155-163 (1991)]. In the theory of projectales, Heyting algebras are precisely the commutative projectales, while orthomodular lattices are the regular projectales (where regular means that \((a\Rightarrow0)\Rightarrow0=a\) for all \(a\in A\), with 0 denoting the bottom of the lattice \(A\)). The calculations and formulas presented for projectales are very similar to those in the theory of quantales [see the reviewer, Quantales and their applications (1990; Zbl 0703.06007)]; a quantale requires associativity of \(\circ\) and that \(\relbar\circ a\) also have a right adjoint.