Related papers: Team Semantics and Independence Notions in Quantum…
We propose a new quantum approach for describing a system of $n$ interacting particles with variable mass connected by an unknown field with variable form ($n$-VMVF systems). Instead of assuming any particular nature for variation of the…
Further formulas are presented involving quantum mechanics, thermodynamics, and integrable systems. Modifications of dispersionless theory are developed.
We prove that adding upwards closed first-order dependency atoms to first-order logic with team semantics does not increase its expressive power (with respect to sentences), and that the same remains true if we also add constancy atoms. As…
Team Semantics generalizes Tarski's Semantics by defining satisfaction with respect to sets of assignments rather than with respect to single assignments. Because of this, it is possible to use Team Semantics to extend First Order Logic via…
We discuss quantum non-locality and contextuality, emphasising logical and structural aspects. We also show how the same mathematical structures arise in various areas of classical computation.
We sketch a group-theoretical framework, based on the Heisenberg-Weyl group, encompassing both quantum and classical statistical descriptions of mechanical systems. We re-define in group-theoretical terms the kinematical arena and the…
This paper introduces the notions of independence and conditional independence in valuation-based systems (VBS). VBS is an axiomatic framework capable of representing many different uncertainty calculi. We define independence and…
Separation logic is a substructural logic which has proved to have numerous and fruitful applications to the verification of programs working on dynamic data structures. Recently, Barthe, Hsu and Liao have proposed a new way of giving…
I contrast two possible attitudes towards a given branch of physics: as inferential (i.e., as concerned with an agent's ability to make predictions given finite information), and as dynamical (i.e., as concerned with the dynamical equations…
How should we interpret physical theories, and especially quantum theory, if we drop the assumption that we should treat it as an exact description of the whole Universe? I expound and develop the claim that physics is about the study of…
We use a simple relational framework to develop the key notions and results on hidden variables and non-locality. The extensive literature on these topics in the foundations of quantum mechanics is couched in terms of probabilistic models,…
In a recent paper we have suggested that a formulation of quantum mechanics should exist, which does not require the concept of time, and that the appropriate mathematical language for such a formulation is noncommutative differential…
Quantum systems of indistinguishable particles are commonly described using the formalism of second quantisation, which relies on the assumption that any admissible quantum state must be either symmetric or anti-symmetric under particle…
Recent developments in the mathematical foundations of quantum mechanics have brought the theory closer to that of classical probability and statistics. On the other hand, the unique character of quantum physics sets many of the questions…
In this paper we attempt to provide a physical representation of quantum superpositions. For this purpose we discuss the constraints of the quantum formalism to the notion of possibility and the necessity to consider a potential realm…
The concept of individuality in quantum mechanics shows radical differences from the concept of individuality in classical physics, as E. Schroedinger pointed out in the early steps of the theory. Regarding this fact, some authors suggested…
Several authors have recently defined intuitionistic logic based on team semantics (tIPC). In this paper we provide two alternative approaches to intermediate logics in the team semantics setting. We do this by modifying tIPC with axioms…
{We point out some obstacles raised by the lost of symmetry against the extension to the case of an interacting particle of the approach that {\sl deductively} establishes the Quantum Theory of a free particle according to the group…
We attempt to contribute some novel points of view to the "foundations of quantum mechanics", using mathematical tools from "quantum probability theory" (such as the theory of operator algebras). We first introduce an abstract algebraic…
We present a new approach for the quantification of quantumness of correlations in fermionic systems. We study the Multipartite Relative Entropy of Quantumness in such systems, and show how the symmetries in the states can be used to obtain…