Kybernetika 46 no. 6, 982-995, 2010

Quantum logics and bivariable functions

Eva Drobná, Oľga Nánásiová and Ľubica Valášková


New approach to characterization of orthomodular lattices by means of special types of bivariable functions $G$ is suggested. Under special marginal conditions a bivariable function $G$ can operate as, for example, infimum measure, supremum measure or symmetric difference measure for two elements of an orthomodular lattice.


orthomodular lattice, conditional state, bivariable functions, modeling infimum measure, supremum measure, simultaneous measurements, finite atomistic quantum logic, s-map, d-map


03G10, 03G12, 03G25, 03H05


  1. A. M.~Al-Adilee and O.~N\'an\'asiov\'a: Copula and s-map on a quantum logic. Inform. Sci. 179 (2009), 4199-4207.   CrossRef
  2. G.~Dohnal: Markov property in quantum logic. A reflection. Inform. Sci. 179 (2009), 485-491.   CrossRef
  3. A.~Dvure\v censkij and S.~Pulmannov\'a: New Trends in Quantum Structure. Kluwer Acad. Publishers, Dortrecht/Boston/London, Ister Science, Bratislava 2000.   CrossRef
  4. R. J.~Greechie: Orthogonal lattices admitting no states. J. Combin. Theory, Ser. A10 (1971), 119-132.   CrossRef
  5. G.~Kalmbach: Orthomodular Lattices. Academic Press, London 1983.   CrossRef
  6. O.~N\'an\'asiov\'a: Map for simultaneous measurements for a quantum logic. Internat. J. Theoret. Phys. 42 (2003), 1889-1903.   CrossRef
  7. O.~N\'an\'asiov\'a: Principle conditioning. Internat. J. Theoret. Phys. 43 (2004), 1757-1767.   CrossRef
  8. O.~N\'an\'asiov\'a and A.~Khrennikov: Representation theorem for observables on a quantum system. Internat. J. Theoret. Phys. 45 (2006), 469-482.   CrossRef
  9. O.~N\'an\'asiov\'a and A.~Khrennikov: Compatibility and marginality. Internat. J. Theoret. Phys. 46 (2007) 1083-1095.   CrossRef
  10. O.~N\'an\'asiov\'a and S.~Pulmannov\'a: S-map and tracial states. Inform. Sci. 179 (2009) 515-520.} \bibitem {NT} O.~N\'an\'asiov\'a and K.~Trokanov\'a, and I.~\v{Z}embery: \newblock{Commutative and non commutative s-maps.} \newblock{Forum Statist. Slovacum 2 (2007) 172-177.   CrossRef
  11. O.~N\'an\'asiov\'a and \softL{}.~Val\'a\v skov\'a: Maps on a quantum logic. Soft Computing (2009). doi:10.1007/s00500-009-0483-4   CrossRef
  12. O.~N\'an\'asiov\'a and \softL{}.~Val\'a\v skov\'a: Marginality and triangle inequality Internat. J. Theoret. Phys. (2010), accepted.   CrossRef
  13. M.~Navara: An othomodular lattice admitting no group-valued measure. Proc. Amer. Math. Soc. 122 (1994), 7-12.   CrossRef
  14. J.~von Neumann: Mathematische Grundlagen der Quantenmechanik. Springer-Verlag, Berlin 1932.   CrossRef
  15. P.~Pt\'ak and S.~Pulmannov\'a: Quantum Logics. Kluwer Acad. Press, Bratislava 1991.   CrossRef
  16. V.~Varadarajan: Geometry of Quantum Theory. D. Van Nostrand, Princeton, New Jersey 1968.   CrossRef