Łukasiewicz 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 over S and belonging to the domain of infinite-valued Łukasiewicz logic. This representation endows BvN quantum logic with a new pair of partially defined binary operations, different from the order-theoretic ones: Łukasiewicz intersection and union of fuzzy sets in the first case and Łukasiewicz 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 Łukasiewicz operations, not by order-theoretic join and meet is formulated and some of its possible consequences are considered.

[1]  Fritz Zwicky,et al.  On a new type of reasoning and some of its possible consequences , 1933 .

[2]  J. Neumann,et al.  The Logic of Quantum Mechanics , 1936 .

[3]  Kôdi Husimi Studies on the Foundation of Quantum Mechanics. I , 1937 .

[4]  Orrin Frink,et al.  New Algebras of Logic , 1938 .

[5]  Hans Reichenbach,et al.  Philosophic foundations of quantum mechanics , 1945 .

[6]  Hilary Putnam Three-Valued Logic , 1957 .

[7]  Die Quantentheorie der einfachen Alternative , 1958 .

[8]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[9]  The Orthogonality Postulate in Axiomatic Quantum Mechanics , 1973 .

[10]  M. Maczynski The orthogonality postulate in axiomatic quantum mechanics , 1973 .

[11]  M. Maczynski Functional properties of quantum logics , 1974 .

[12]  R. Giles Łukasiewicz logic and fuzzy set theory , 1976 .

[13]  A. Peres Unperformed experiments have no results , 1978 .

[14]  M. Chiara,et al.  Philosophy of quantum mechanics , 1982 .

[15]  Jarosław Pykacz Affine Maczyński logics on compact convex sets of states , 1983 .

[16]  Sylvia Pulmannová,et al.  Orthomodular structures as quantum logics , 1991 .

[17]  Jarosław Pykacz,et al.  Fuzzy set ideas in quantum logics , 1992 .

[18]  L. Bolc,et al.  Many-Valued Logics , 1992 .

[19]  Partial and unsharp quantum logics , 1994 .

[20]  ORTHOMODULAR (PARTIAL) ALGEBRAS AND THEIR REPRESENTATIONS , 1994 .

[21]  Jarosław Pykacz Attempt at the Logical Explanation of the Wave-Particle Duality , 1999 .