Related papers: A logical description for perfect measurements
Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion.…
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,…
For theoretical approach of quantum measurements it is proposed a set of reconsidered conjectures. The proposed approach implies linear functional transformations for probability density and current but preserves the expressions for…
The long lasting discussion on the completeness of quantum theory (QT) has not yet come to an end. The discussion is impeded by the lack of a clear understanding of what makes up the contents of a theory of physics in general and of QT…
A probabilistic propositional logic, endowed with an epistemic component for asserting (non-)compatibility of diagonizable and bounded observables, is presented and illustrated for reasoning about the random results of projective…
A new ontological view of the quantum measurement processes is given, which has bearings on many broader issues in the foundations of quantum mechanics as well. In this scenario a quantum measurement is a non-equilibrium phase transition in…
During many years since the birth of quantum mechanics, instrumentalist interpretations prevailed: the meaning of the theory was expressed in terms of measurements results. But in the last decades, several attempts to interpret it from a…
We offer a fresh perspective on the relational interpretation of quantum mechanics as a way of thinking about the world described by quantum theory based on quantifiable notions of information. This allows us to provide a definition of a…
In this paper we show that interaction-free measurements, which have been object of much discussion in the last few decades, can be explained in a natural and intuitive way in the framework of complex nonlinear quantum physics, contrary to…
We introduce and investigate a weighted propositional configuration logic over commutative semirings. Our logic is intended to serve as a specification language for software architectures with quantitative features. We prove an efficient…
In Quantum Physics there are circumstances where the direct measurement of particular observables encounters diffculties; in some of these cases, however, its value can be evaluated, i.e. it can be inferred by measuring another observable…
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable in ordinary linear logic. We propose a general modal…
Simple representations of documents based on the occurrences of terms are ubiquitous in areas like Information Retrieval, and also frequent in Natural Language Processing. In this work we propose a logical-probabilistic approach to the…
In the quantum regime, the third law of thermodynamics implies the unattainability of pure states. As shown recently, such unattainability implies that a unitary interaction between the measured system and a measuring apparatus can never…
An appeal for symmetry is made to build established notions of specific representation and specific nonlinearity of measurement (often called model error) into a canonical linear regression model. Additive components are derived from the…
We consider a general symplectic transformation (also known as linear canonical transformation) of quantum-mechanical observables in a quantized version of a finite-dimensional system with configuration space isomorphic to $ \mathbb{R}^{q}…
The best mathematical arguments against a realistic interpretation of quantum mechanics - that gives definite but partially unknown values to all observables - are analysed and shown to be based on reasoning that is not compelling. This…
Axiomatic approach to measurement theory is developed. All the possible statistical properties of apparatuses measuring an observable with nondegenerate spectrum allowed in standard quantum mechanics are characterized.
We reason about possible future development of quantum game theory and its impact on information processing and the emerging information society. Two of the authors have recently proposed a quantum description of financial market in terms…
Logical entropy gives a measure, in the sense of measure theory, of the distinctions of a given partition of a set, an idea that can be naturally generalized to classical probability distributions. Here, we analyze how fundamental concepts…