Lukasiewicz operations in fuzzy set and many-valued representations of quantum logics

It, is shown that Birkhoff-von Neumann quantum logic (i.e., an orthomodular lattice or poset) possessing an ordering set of probability measures S can be isomorphically represented as a family of fuzzy subsets of S or, equivalently, as a family of propositional functions with arguments ranging in over S and belonging to the domain of infinite-valued Lukasiewicz logic. This representation endows BvN quantum logic with a new pair of partially defined binary operations, different from the order-theoretic ones: Lukasiewicz intersection and union of fuzzy sets in the first case and Lukasiewicz conjunction and disjunction in the second. Relations between old and new operations are studied and it is shown that although they coincide whenever new operations are defined, they are not identical in general. The hypothesis that quantum-logical conjunction and disjunction should be represented by Lukasiewicz operations, not by order-theoretic join and meet is formulated and some of its possible consequences are considered.