Related papers: The Sasaki Hook is not a [Static] Implicative Conn…
After the development of a self-consistent quantum formalism nearly a century ago, there ensued a quest to understand the often counterintuitive predictions of the theory. These endeavors invariably begin with the assumption of the "truth"…
The analysis and control of stochastic dynamical systems rely on probabilistic models such as (continuous-space) Markov decision processes, but large or continuous state spaces make exact analysis intractable and call for principled…
Information about the internal properties of a system can only be obtained through interactions of the system with an external meter. However, such interactions generally result in entanglement between the system and the meter, making it…
We present an extension of Logic Programming (under stable models semantics) that, not only allows concluding whether a true atom is a cause of another atom, but also deriving new conclusions from these causal-effect relations. This is…
Contextuality is widely regarded as a hallmark of quantum information, yet its structural origin is often obscured by probabilistic or operational formulations. In this work, we show that non-distributive orthomodular structure need not be…
Conventionally, covariances do not distinguish between spatial and temporal correlations. The same covariance matrix could equally describe temporal correlations between observations of the same system at two different times or correlations…
Relativity and quantum mechanics are two cornerstones of modern physics, yet their unification within a single-particle path integral and a dynamical explanation of quantum measurement remain unresolved. Historically, these two problems…
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…
We prove an equivalence transformation between the correlation measure functions of the causally-unbiased quantum gravity space and the causally-biased standard space. The theory of quantum gravity fuses the dynamic (nonfixed) causal…
Signal causality, the prohibition of superluminal information transmission, is the fundamental property shared by quantum measurement theory and relativity, and it is the key to understanding the connection between nonlocal measurement…
We analyse a quantum-like Bayesian Network that puts together cause/effect relationships and semantic similarities between events. These semantic similarities constitute acausal connections according to the Synchronicity principle and…
The difficulty of explaining non-local correlations in a fixed causal structure sheds new light on the old debate on whether space and time are to be seen as fundamental. Refraining from assuming space-time as given a priori has a number of…
Intuitionistic logic extended with decidable propositional atoms combines classical properties in its propositional part and intuitionistic properties for derivable formulas not containing propositional symbols. Sequent calculus is used as…
The Desargues property is well known in the context of projective geometry. An analogous property is presented in the context of both classical and Quantum Physics. In a classical context, the Desargues property implies that two logical…
We design a proof system for propositional classical logic that integrates two languages for Boolean functions: standard conjunction-disjunction-negation and binary decision trees. We give two reasons to do so. The first is…
We argue that (1) our perception of time through change and (2) the gap between reality and our observation of it are at the heart of both quantum mechanics and the dynamical mechanism of physical systems. We suggest that the origin of…
Weak values are quantities accessed through quantum experiments involving weak measurements and post-selection. It has been shown that 'anomalous' weak values (those lying beyond the eigenvalue range of the corresponding operator) defy…
A new, realist interpretation of the quantum measurement processes is given. In this scenario a quantum measurement is a non-equilibrium phase transition in a ``resonant cavity'' formed by the entire physical universe including all its…
The quantum theoretical concepts of modular momentum and dynamical non-locality, which were introduced four decades ago, have recently been used to explain single particle quantum interference phenomena. Although the non-local exchange of…
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…