Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2311.14083 · Symmetry

The Fuzzy Bit

Milagrosa Aldana, M. A. Lledó

Published Nov 23, 2023• 1 citation
arXivHTMLPDF

Abstract

In this paper, the formulation of Quantum Mechanics in terms of fuzzy logic and fuzzy sets is explored. A result by Pykacz, which establishes a correspondence between (quantum) logics (lattices with certain properties) and certain families of fuzzy sets, is applied to the Birkhoff–von Neumann logic, the lattice of projectors of a Hilbert space. Three cases are considered: the qubit, two qubits entangled, and a qutrit ‘nested’ inside the two entangled qubits. The membership functions of the fuzzy sets are explicitly computed and all the connectives of the fuzzy sets are interpreted as operations with these particular membership functions. In this way, a complete picture of the standard quantum logic in terms of fuzzy sets is obtained for the systems considered.

DOI
10.3390/sym15122103

Related papers

Quantum Logic

Peter Mittelstaedt

It has been shown by Birkhoff and v. Neumann (1936) and by Jauch and Piron (1963,1964,1968) that the subspaces of Hilbert space constitute an orthocomplemented quasi-modular lattice Lq, if one considers between two subspaces (elements) a, b the relation a⊆b and the operations a∩b, a∪b, a⊥. Furthermore, since the subspaces can be interpreted as quantum mechanical propositions, and since the operations ∩,∪ ,⊥ have some similarity with the logical operations ⋀ (and), ⋁ (or) and ⌝ (not), the question has been raised already by Birkhoff and v. Neumann, whether the lattice of subspaces of Hilbert space can be interpreted as a propositional calculus, sometimes called quantum logic. There are many kinds of lattices which can be interpreted as a propositional or logical calculus. A Boolean lattice LB of propositions corresponds to the calculus of classical logic and an implicative (Birkhoff, 1961) lattice Li has as a model the calculus of effective (intuitionistic) logic.

PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association•Jan 1, 1974•0 citations

Towards many-valued/fuzzy interpretation of quantum mechanics

Jarosław Pykacz

In this paper, we propose a new interpretation of quantum mechanics according to which Born probabilities are interpreted as many-valued truth values of statements concerning results of not-yet-performed experiments on quantum objects, or equivalently [0,1]-valued degrees to which quantum objects possess all their properties prior to measurements. The interpretation is based on mathematical results already published by the author, according to which any Birkhoff–von Neumann quantum logic can be isomorphically represented as a family of fuzzy sets or, equivalently, many-valued propositional functions.

International Journal of General Systems•Aug 12, 2010•12 citations

Quantum logic as motivated by quantum computing

Jon Michael Dunn, Tobias Hagge, Lawrence S. Moss +1 more

§1. Introduction. Our understanding of Nature comes in layers, so should the development of logic. Classic logic is an indispensable part of our knowledge, and its interactions with computer science have recently dramatically changed our life. A new layer of logic has been developing ever since the discovery of quantum mechanics. G. D. Birkhoff and von Neumann introduced quantum logic in a seminal paper in 1936 [1]. But the definition of quantum logic varies among authors (see [2]). How to capture the logic structure inherent in quantum mechanics is very interesting and challenging. Given the close connection between classical logic and theoretical computer science as exemplified by the coincidence of computable functions through Turing machines, recursive function theory, and λ-calculus, we are interested in how to gain some insights about quantum logic from quantum computing. In this note we make some observations about quantum logic as motivated by quantum computing (see [5]) and hope more people will explore this connection. The quantum logic as envisioned by Birkhoff and von Neumann is based on the lattice of closed subspaces of a Hilbert space, usually an infinite dimensional one. The quantum logic of a fixed Hilbert space ℍ in this note is the variety of all the true equations with finitely many variables using the connectives meet, join and negation. Quantum computing is theoretically based on quantum systems with finite dimensional Hilbert spaces, especially the states space of a qubit ℂ2. (Actually the qubit is merely a convenience.

arXiv:math/0412144•Journal of Symbolic Logic•Jun 1, 2005•26 citations

Interpretations on Quantum Fuzzy Computing: Intuitionistic Fuzzy Operations × Quantum Operators

Renata Reiser, Alexandre Lemke, Anderson Ávila +3 more

Quantum processes provide a parallel model for fuzzy connectives. Calculations of quantum states may be simultaneously performed by the superposition of membership and non-membership degrees of each element regarding the intuitionistic fuzzy sets. This work aims to interpret Atanassov's intuitionistic fuzzy logic through quantum computing, where not only intuitionistic fuzzy sets, but also their basic operations and corresponding connectives (negation, conjuntion, disjuntion, difference, codifference, implication, and coimplication), are interpreted based on the traditional quantum circuit model.

Electronic Notes in Theoretical Computer Science•Sep 1, 2016•11 citations

An Epistemological Derivation of Quantum Logic

John Foy

This paper deals with the foundations of quantum mechanics. We start by outlining the characterisation, due to Birkhoff and Von Neumann, of the logical structures of the theories of classical physics and quantum mechanics, as boolean and modular lattices respectively. We then derive these descriptions from what we claim are basic properties of any physical theory - i.e. the notion that a quantity in such a theory may be analysed into parts and that the results of this analysis may be treated in languages with an underlying boolean structure. We shall see that in the course of constructing a model of a theory with these properties different indistinguishable possibilities will arise for how the elements of the model may be named, that is to say different possibilities arise for how they can be associated with points from Set. Taking a particular collection of possibilities gives the usual boolean lattice of the propositions of classical physics. Taking all possibilities - in a sense, the set of all things that may be described by physical theories - gives the lattice of quantum mechanical propositions. This gives an interpretation of quantum mechanics as the complete set of such possible descriptions, the complete physical description of the world.

arXiv:quant-ph/0001074•Jan 20, 2000•0 citations

Fuzzy Logic and Quantum Measurement Formulation

Niloofar Abbasvandi, M. J. Soleimani, Shahidan Radiman

The Von Neumann quantum measurement theory and Zurek reformulation are based on an assumption that the quantum system, apparatus and environment obey the quantum mechanics rules. According to the Zurek theory the observers typically interact with their surrounding environments. In this article, we give a more realistic image of the quantum measurement theory; we have proposed a correction to Zurek quantum measurement theory based on the fuzzy logic and fuzzy set theory.

arXiv:1304.4745•Apr 17, 2013•0 citations
In this paper, the formulation of Quantum Mechanics in terms of fuzzy logic and fuzzy sets is explored. A result by Pykacz, which establishes a correspondence between (quantum) logics (lattices with certain properties) and certain families of fuzzy sets, is applied to the Birkhoff–von Neumann logic, the lattice of projectors of a Hilbert space. Three cases are considered: the qubit, two qubits entangled, and a qutrit ‘nested’ inside the two entangled qubits. The membership functions of the fuzzy sets are explicitly computed and all the connectives of the fuzzy sets are interpreted as operations with these particular membership functions. In this way, a complete picture of the standard quantum logic in terms of fuzzy sets is obtained for the systems considered.
It has been shown by Birkhoff and v. Neumann (1936) and by Jauch and Piron (1963,1964,1968) that the subspaces of Hilbert space constitute an orthocomplemented quasi-modular lattice Lq, if one considers between two subspaces (elements) a, b the relation a⊆b and the operations a∩b, a∪b, a⊥. Furthermore, since the subspaces can be interpreted as quantum mechanical propositions, and since the operations ∩,∪ ,⊥ have some similarity with the logical operations ⋀ (and), ⋁ (or) and ⌝ (not), the question has been raised already by Birkhoff and v. Neumann, whether the lattice of subspaces of Hilbert space can be interpreted as a propositional calculus, sometimes called quantum logic. There are many kinds of lattices which can be interpreted as a propositional or logical calculus. A Boolean lattice LB of propositions corresponds to the calculus of classical logic and an implicative (Birkhoff, 1961) lattice Li has as a model the calculus of effective (intuitionistic) logic.
In this paper, we propose a new interpretation of quantum mechanics according to which Born probabilities are interpreted as many-valued truth values of statements concerning results of not-yet-performed experiments on quantum objects, or equivalently [0,1]-valued degrees to which quantum objects possess all their properties prior to measurements. The interpretation is based on mathematical results already published by the author, according to which any Birkhoff–von Neumann quantum logic can be isomorphically represented as a family of fuzzy sets or, equivalently, many-valued propositional functions.
§1. Introduction. Our understanding of Nature comes in layers, so should the development of logic. Classic logic is an indispensable part of our knowledge, and its interactions with computer science have recently dramatically changed our life. A new layer of logic has been developing ever since the discovery of quantum mechanics. G. D. Birkhoff and von Neumann introduced quantum logic in a seminal paper in 1936 [1]. But the definition of quantum logic varies among authors (see [2]). How to capture the logic structure inherent in quantum mechanics is very interesting and challenging. Given the close connection between classical logic and theoretical computer science as exemplified by the coincidence of computable functions through Turing machines, recursive function theory, and λ-calculus, we are interested in how to gain some insights about quantum logic from quantum computing. In this note we make some observations about quantum logic as motivated by quantum computing (see [5]) and hope more people will explore this connection. The quantum logic as envisioned by Birkhoff and von Neumann is based on the lattice of closed subspaces of a Hilbert space, usually an infinite dimensional one. The quantum logic of a fixed Hilbert space ℍ in this note is the variety of all the true equations with finitely many variables using the connectives meet, join and negation. Quantum computing is theoretically based on quantum systems with finite dimensional Hilbert spaces, especially the states space of a qubit ℂ2. (Actually the qubit is merely a convenience.
Quantum processes provide a parallel model for fuzzy connectives. Calculations of quantum states may be simultaneously performed by the superposition of membership and non-membership degrees of each element regarding the intuitionistic fuzzy sets. This work aims to interpret Atanassov's intuitionistic fuzzy logic through quantum computing, where not only intuitionistic fuzzy sets, but also their basic operations and corresponding connectives (negation, conjuntion, disjuntion, difference, codifference, implication, and coimplication), are interpreted based on the traditional quantum circuit model.
This paper deals with the foundations of quantum mechanics. We start by outlining the characterisation, due to Birkhoff and Von Neumann, of the logical structures of the theories of classical physics and quantum mechanics, as boolean and modular lattices respectively. We then derive these descriptions from what we claim are basic properties of any physical theory - i.e. the notion that a quantity in such a theory may be analysed into parts and that the results of this analysis may be treated in languages with an underlying boolean structure. We shall see that in the course of constructing a model of a theory with these properties different indistinguishable possibilities will arise for how the elements of the model may be named, that is to say different possibilities arise for how they can be associated with points from Set. Taking a particular collection of possibilities gives the usual boolean lattice of the propositions of classical physics. Taking all possibilities - in a sense, the set of all things that may be described by physical theories - gives the lattice of quantum mechanical propositions. This gives an interpretation of quantum mechanics as the complete set of such possible descriptions, the complete physical description of the world.