On the uniqueness problem for quite full logics
A finite orthomodular lattice in which every maximal Boolean subalgebra (block) has the same cardinality is called -regular, if each atom is a member of just blocks. We estimate the minimal number of blocks of -regular orthomodular lattices to be lower than of equal to regardless of .
The set of all atoms of an atomic orthomodular lattice is said to be almost orthogonal if the set is finite for every . It is said to be strongly almost orthogonal if, for every , any sequence of atoms such that contains at most finitely many distinct elements. We study the relation and consequences of these notions. We show among others that a complete atomic orthomodular lattice is a compact topological one if and only if the set of all its atoms is almost orthogonal.
Page 1