Paraconsistent ideas in quantum logic (Q1840966)

Birkhoff and von Neumann's quantum logic is sharp in the sense that propositions correspond to exact possible properties of the physical system under investigation. Unsharp approaches to quantum theory were proposed by \textit{G. Ludwig} [Foundations of quantum mechanics, Vol. 1, Springer, Berlin (1983; Zbl 0509.46057)] and developed by Kraus, Davies, Mittelstaedt, Busch, Lahti, Bugajski, Beltrametti, Cattaneo and many others. This paper surveys effect structures and unsharp quantum logics, to which the authors themselves have contributed much.