Related papers: Consistent Histories as Valuations
In this paper we attempt to consider quantum superpositions from the perspective of the logos categorical approach presented in [26]. We will argue that our approach allows us not only to better visualize the structural features of quantum…
In this work we first illustrate the subjective theory of de Finetti. We recall the notion of coherence for both the betting scheme and the penalty criterion, by considering the unconditional and conditional cases. We show the equivalence…
Modal interpretations of quantum mechanics assign definite properties to physical systems and specify single-time joint probabilities of these properties. We show that a natural extension, applying to properties at several times, can be…
Topos theory has been suggested by D\"oring and Isham as an alternative mathematical structure with which to formulate physical theories. In particular, the topos approach suggests a radical new way of thinking about what a theory of…
A relation is obtained between weak values of quantum observables and the consistency criterion for histories of quantum events. It is shown that ``strange'' weak values for projection operators (such as values less than zero) always…
Within ordinary ---unitary--- quantum mechanics there exist global protocols that allow to verify that no definite event ---an outcome to which a probability can be associated--- occurs. Instead, states that start in a coherent…
This paper studies which truth-values are most likely to be taken on finite models by arbitrary sentences of a many-valued predicate logic. We obtain generalizations of Fagin's classical zero-one law for any logic with values in a finite…
The predictions of the Bohmian and the decoherent (or consistent) histories formulations of the quantum mechanics of a closed system are compared for histories -- sequences of alternatives at a series of times. For certain kinds of…
This paper introduces the order-theoretic concept of lattices along with the concept of consistent quantification where lattice elements are mapped to real numbers in such a way that preserves some aspect of the order-theoretic structure.…
The decoherent (consistent) histories formalism has been proposed as a means of eliminating measurements as a fundamental concept in quantum mechanics. In this formalism, probabilities can be assigned to any description which satisfies a…
Recent studies using the quantum information theoretic approach to thermodynamics show that the presence of coherence in quantum systems generates corrections to classical fluctuation theorems. To explicate the physical origins and…
Many-valued logics in general, and fuzzy logics in particular, usually focus on a notion of consequence based on preservation of full truth, typical represented by the value 1 in the semantics given the real unit interval [0,1]. In a recent…
Symmetries are defined in histories-based generalized quantum mechanics paying special attention to the class of history theories admitting quasitemporal structure (a generalization of the concept of `temporal sequences' of `events' using…
According to various no-go results in the foundations of quantum mechanics, for any system associated to a Hilbert space of dimension higher than two, it is not possible to assign definite truth values to all propositions pertaining to the…
We present a lightweight approach to Hoare-style specifications for fine-grained concurrency, based on a notion of time-stamped histories that abstractly capture atomic changes in the program state. Our key observation is that histories…
Besides their use for efficient computation, quantum computers are a base for studying quantum systems that create valid physical theories using mathematics and physics. An essential part of the validation process for quantum mechanics is…
Quantum measurement is commonly posed as a dynamical tension between linear Schr\"odinger evolution and an ad hoc collapse rule. I argue that the deeper conflict is logical: quantum theory is inherently contextual, whereas the classical…
We investigate the idea that different interpretations of quantum mechanics can be seen as restrictions of the consistent (or decoherent) histories quantum mechanics of closed systems to particular classes of histories,together with the…
Recent developments in quantum gravity have shown the Lorentzian treatment to be a fruitful approach towards the emergence of macroscopic spacetimes. In this paper, we discuss another related aspect of the Lorentzian treatment: we argue…
There is knowledge. There is belief. And there is tacit agreement.' 'We may talk about objects. We may talk about attributes of the objects. Or we may talk both about objects and their attributes.' This work inspects tacit agreements on…