Jauch-Piron property (everywhere!) in the logicoalgebraic foundation of quantum theories (Q1325672)

This paper is a brief and lucid survey of recent results concerning the Jauch-Piron property of states (= normed finitely additive measures) on quantum logics (= orthomodular posets). Let us recall that the Jauch- Piron property is an important weak form of subadditivity: a state \(s\) is called Jauch-Piron if for any \(a\), \(b\) with \(s(a)= s(b)= 0\) there is a \(c\geq a,b\) with \(s(c)=0\). Several problems are discussed: 1. When a logic with sufficiently many Jauch-Piron states has to (need not) be a Boolean algebra? [See, e.g., \textit{V. Rogalewicz}, Int. J. Theor. Phys. 30, No. 4, 437-445 (1991; Zbl 0728.03034) and \textit{P. G. Ovchinnikov}, Int. J. Theor. Phys. 32, No. 6, 885-890 (1993; Zbl 0793.03070) for ``discrete'' logics, and \textit{M. Navara} and \textit{P. Pták}, J. Pure Appl. Algebra 60, No. 1, 105-111 (1989; Zbl 0691.03045) and \textit{V. Müller}, Int. J. Theor. Phys. 32, No. 3, 433-442 (1993; Zbl 0791.03039) for set-representable logics.] 2. What is the role of Jauch-Piron states in projection logics [see, e.g., \textit{L. J. Bunce} and \textit{J. Hamhalter}, Math. Z. 215, No. 3, 491- 502 (1994; Zbl 0791.46043)], in topological representations [see, e.g., the reviewer, J. Pure Appl. Algebra 86, 79-94 (1993; Zbl 0777.06009)], in extensions of states?