Jauch-Piron logics with finiteness conditions
The author proves that an orthomodular poset representing a quantum physical system (i.e. non-Boolean and with a full set of Jauch-Piron states) has to have infinitely many blocks (maximal Boolean subalgebras). This generalizes results of \textit{G. T. Rüttimann} [J. Math. Phys. 18, 189-193 (1977; Zbl 0388.03025)] and \textit{L. J. Bunce, M. Navara, P. Pták} and \textit{J. D. M. Wright} [Q. J. Math., Oxford, II. Ser. 36, 261- 271 (1985; Zbl 0585.03038)].
scientific article; zbMATH DE number 4202256
scientific article