Reconstructing quantum theory from its possibilistic operational formalism
DOI10.1007/S40509-022-00286-WzbMATH Open1543.81016MaRDI QIDQ6589995
Publication date: 21 August 2024
Published in: Quantum Studies: Mathematics and Foundations (Search for Journal in Brave)
orderspreorderslogical foundations of quantum mechanicscategorical semantics of formal languagesdomains and lattices (viewed as categories)quantum logic (quantum-theoretic aspects)
Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Categorical semantics of formal languages (18C50) Preorders, orders, domains and lattices (viewed as categories) (18B35)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Coalgebras, Chu spaces, and representations of physical systems
- Big toy models. Representing physical systems as Chu spaces
- Duality for the logic of quantum actions
- Linear logic
- Failure of standard quantum mechanics for the description of compound quantum entities
- On state spaces and property lattices
- States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
- Complete axiomatizations for quantum actions
- A dynamic-logical perspective on quantum behavior
- Ideal, first-kind measurements in a proposition-state structure
- Reichenbach and the logic of quantum mechanics
- Chu spaces from the representational viewpoint
- Quantum axiomatics and a theorem of M. P. Solèr
- A logical description for perfect measurements
- Correspondence between Kripke frames and projective geometries
- The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
- Relational quantum mechanics
- Orthogonality spaces arising from infinite-dimensional complex Hilbert spaces
- The logic of quantum mechanics
- Categorical quantum mechanics
- Test spaces
- Generalized probability theories: what determines the structure of quantum theory?
- Continuous and Completely Distributive Lattices
- Operational theories and Categorical quantum mechanics
- *-Autonomous categories and linear logic
- Continuous Lattices and Domains
- Orthomodularity in infinite dimensions; a theorem of M. Solèr
- LQP: the dynamic logic of quantum information
- Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
- Quantum theory: concepts and methods
- Quantum states: an analysis via the orthogonality relation
Related Items (2)
This page was built for publication: Reconstructing quantum theory from its possibilistic operational formalism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6589995)
