Abstract
We continue the algebraic investigation of PBZ*-lattices, a notion introduced in Giuntini et al. (Stud. Logica 104, 1145–1177, 2016) in order to obtain insights into the structure of certain algebras of effects of a Hilbert space, lattice-ordered under the spectral ordering.
Similar content being viewed by others
Notes
That the spectral ordering is indeed a lattice ordering has been essentially shown by Olson [18] and de Groote [14], who also proved that it coincides with the more familiar ordering of effects induced via the trace functional when both orderings are restricted to the set of projection operators of the same Hilbert space. The same ordering has also been given an algebraic treatment, in a different context, in [10].
We acknowledge here G. Cattaneo’s insightful comments on [12], which we received after the paper itself had gone into its production stage.
References
Bergmann, M.: An Introduction to Many-Valued and Fuzzy Logic. Cambridge University Press, Cambridge (2008)
Birkhoff, G.: Lattice Theory. AMS Colloquium Publications, New York (1948)
Bruns, G., Harding, J., et al.: Algebraic aspects of orthomodular lattices. In: Coecke, B. (ed.) Current Research in Operational Quantum Logic, pp 37–65. Springer, Berlin (2000)
Bruns, G., Kalmbach G.: Varieties of orthomodular lattices. Can. J. Math. 5, 802–810 (1971)
Cattaneo, G., Nisticò, G.: Brouwer-Zadeh posets and three-valued Łukasiewicz posets. Fuzzy Sets Syst. 33(2), 165–190 (1989)
Chajda, I.: A note on pseudo-Kleene algebras. Acta Univ. Palacky Olomouc 55 (1), 39–45 (2016)
Chajda, I., Länger, H.: Horizontal sums of bounded lattices. Math. Pannonica 20(1), 1–5 (2009)
Cignoli, R.: The class of Kleene algebras satisfying an interpolation property and Nelson algebras. Algebra Univers. 23, 262–292 (1986)
Dalla Chiara, M.L., Giuntini, R., Greechie, R.J.: Reasoning in Quantum Theory. Kluwer, Dordrecht (2004)
Dvurečenskij, A.: Olson order of quantum observables. Int. J. Theor. Phys. 55, 4896–4912 (2016)
Giuntini, R: Three-valued Brouwer-Zadeh logic. Int. J. Theor. Phys. 32, 1875–1887 (1993)
Giuntini, R., Ledda, A., Paoli, F.: A new view of effects in a Hilbert space. Stud. Logica 104, 1145–1177 (2016)
Greechie, R.J.: On the structure of orthomodular lattices satisfying the chain condition. J. Comb. Theory 4(3), 210–218 (1968)
de Groote, H.F.: On a canonical lattice structure on the effect algebra of a von Neumann algebra. arXiv:math-ph/0410018v2 (2005)
Harzheim, E.: Ordered Sets. Springer, Berlin (2005)
Kalman, J.A.: Lattices with involution. Trans. Am. Math. Soc. 87, 485–491 (1958)
Kreyszig, E.: Introductory Functional Analysis with Applications. Wiley, New York (1978)
Olson, M.P.: The self-adjoint operators of a von Neumann algebra form a conditionally complete lattice. Proc. Am. Math. Soc. 28, 537–544 (1971)
Stroock, D.W.: A Concise Introduction to the Theory of Integration, 3rd edn. Basel, Birkhäuser (1998)
Acknowledgements
R. Giuntini gratefully acknowledges the support of the Regione Autonoma Sardegna within the project “Modeling the uncertainty: quantum theory and imaging processing”, LR 7/8/2007, RAS CRP-59872. A. Ledda gratefully acknowledges the support of the Regione Autonoma della Sardegna within the project ‘Order properties in mathematics and physics’, LR 7/8/2007, CUP F72F16002920002. All authors gratefully acknowledge the support of the Horizon 2020 program of the European Commission: SYSMICS project, Proposal Number: 689176, MSCA-RISE-2015, and the Fondazione Banco di Sardegna within the project ‘Science and its logics, the representation’s dilemma’, CUP F72F16003220002, and the suggestions of two referees.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Giuntini, R., Ledda, A. & Paoli, F. On Some Properties of PBZ*-Lattices. Int J Theor Phys 56, 3895–3911 (2017). https://doi.org/10.1007/s10773-017-3374-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10773-017-3374-y