Another characterization of the orthomodularity of the ortholattice of all polars

Rok, strany: 1993, 53 - 54

Let $\bot$ be a symmetric, irreflexive relation on a set $A$ and put $B^\bot:=\{a\in A|a\bot b$ for all $b\in B\}$ for all $B\subseteq A$. Then $L:=(\{B^\bot|B\subseteq A\}$, $\subseteq, ^\bot, \emptyset, A)$ is an ortholattice. Simple conditions on $\bot$ are given which are equivalent to the orthomodularity of $L$.

ISO 690:

Länger, H. 1993. Another characterization of the orthomodularity of the ortholattice of all polars. In Tatra Mountains Mathematical Publications, vol. 3, no.2, pp. 53-54. 1210-3195.

APA:

Länger, H. (1993). Another characterization of the orthomodularity of the ortholattice of all polars. Tatra Mountains Mathematical Publications, 3(2), 53-54. 1210-3195.