On Frink Ideals in Orthomodular Posets

摘要

Let S denote the class of orthomodular posets in which all maximal Frink ideals are selective. Let R (resp. T) be the class of orthomodular posets defined by the validity of the following implications: P is an element of R if the implication a, b is an element of P, a boolean AND b = 0 double right arrow a = b' holds (resp., P is an element of T if the implication a. b = a boolean AND b' = 0 double right arrow a = 0 holds). In this note we prove the following slightly surprising result: R subset of S subset of T. Since orthomodular posets are often understood as quantum logics, the result might have certain bearing on quantum axiomatics.