With the use of a suitable assumption about the structure of the class of experimental filters, it is shown that the sequence of alternating replicas of two filters is their greatest lower bound, as Jauch suggests. A generalization of his suggestion yields the greatest lower bound of a denumerable set of filters. The criteria of admissibility of filters are briefly discussed.

An adequate conjunction-implication pair is given for complete orthomodular lattices. The resulting conjunction is noncommutative in nature. We use the well-known lattice of closed subspaces of a Hilbert space, to give physical meaning to the given lattice operation.

In the axiomatic development of the logic of nonrelativistic quantum mechanics it is not difficult to set down certain plausible axioms which ensure that the quantum logic of propositions has the structure of an orthomodular poset. This can be done in a number of ways, for example, as in Gunson [2], Mackey [4], Piron [5], Varadarajan [7] and Zierler [8], and we summarise one of these ways in §2 below.