QUANTUM LOGICS AND BIVARIABLE FUNCTIONS
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.
bivariable functions orthomodular lattice supremum measure finite atomistic quantum logic conditional state s-map d-map modeling infimum measure simultaneous measurements