Related papers: Intuitionistic Quantum Logic Perspective: Static a…
Recent tremendous development of quantum information theory led to a number of quantum technological projects, e.g., quantum random generators. This development stimulates a new wave of interest in quantum foundations. One of the most…
Logical paradoxes and inconsistent information pose deep challenges in epistemology and the philosophy of logic. Classical systems typically handle contradictions only through external checks or by altering the logical framework, as in…
Since the beginning, quantum mechanics has raised major foundational and interpretative problems. Foundational research has been an important factor in the development of quantum cryptography, quantum information theory and, perhaps one…
The interpretation of quantum mechanics has been a problem since its founding days. A large contribution to the discussion of possible interpretations of quantum mechanics is given by the so-called impossibility proofs for hidden variable…
We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transformations performed on the system appear explicitly. This way,…
Although logic of quantum mechanics has been studied for a long time, logic of QFT has not been studied before. We formulate logic of QFT by introducing the perspective of dynamic logic, because the nature of two fundamental operators in…
In this paper, I propose a project of enlisting quantum information science as a source of task-oriented axioms for use in the investigation of operational theories in a general framework capable of encompassing quantum mechanics, classical…
One hundred years after the creation of quantum theory, there is no consensus on the kind of reality that is described by the theory. Here, I attribute the lack of progress to the prevailing interpretative methodology, which invariably…
Quantum theory can be viewed as a generalization of classical probability theory, but the analogy as it has been developed so far is not complete. Whereas the manner in which inferences are made in classical probability theory is…
A modified version of relational quantum mechanics is developed based on the three following ideas. An observer can develop an internally consistent description of the universe but it will, of necessity, differ in particulars from the…
I suggest that the common unease with taking quantum mechanics as a fundamental description of nature (the "measurement problem") could derive from the use of an incorrect notion, as the unease with the Lorentz transformations before…
This paper presents a novel explanation of the cause of quantum probabilities and the Born rule based on the intuitionistic interpretation of quantum mechanics where propositions obey constructive (intuitionistic) logic. The use of…
In quantum game theory, one of the most intriguing and important questions is, "Is it possible to get quantum advantages without any modification of the classical game?" The answer to this question so far has largely been negative. So far,…
The scientific methodology based on two descriptive levels, ontic (reality as it is ) and epistemic (observational), is briefly presented. Following Schr\"odinger, we point to the possible gap between these two descriptions. Our main aim is…
We analyze the logical foundations of quantum mechanics (QM) by stressing non-objectivity of quantum observables which is a consequence of the absence of logical atoms in QM. We argue that the matter of quantum non-objectivity is that, on…
The (consistent or decoherent) histories interpretation provides a consistent realistic ontology for quantum mechanics, based on two main ideas. First, a logic (system of reasoning) is employed which is compatible with the Hilbert-space…
Treating reference frames fundamentally as quantum systems is inevitable in quantum gravity and also in quantum foundations once considering laboratories as physical systems. Both fields thereby face the question of how to describe physics…
Quantum information science is a source of task-related axioms whose consequences can be explored in general settings encompassing quantum mechanics, classical theory, and more. Quantum states are compendia of probabilities for the outcomes…
The (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Quantum logic was proposed by Birkhoff and von Neumann as a logic of quantum mechanics more than sixty years ago. The major difference between Boolean…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…