Reconstructing quantum theory from its possibilistic operational formalism

DOI10.1007/S40509-022-00286-WMaRDI QIDQ6589995zbMATH OpenFDO

Authors E. Buffenoir

Publication date 21 August 2024

Published in Quantum Studies: Mathematics and Foundations (Search for Journal in Brave)

zbMATH Keywords

orderspreorderslogical foundations of quantum mechanicscategorical semantics of formal languagesdomains and lattices (viewed as categories)quantum logic (quantum-theoretic aspects)

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Recommendations

• A reconstruction of quantum mechanics
• A categorical reconstruction of quantum theory
• Operational theories and categorical quantum mechanics
• Generalized possibilistic theories: the multipartite experiments problem
• Foundations of quantum physics: a general realistic and operational approach

Cites work

• scientific article; zbMATH DE number 3668602 (Why is no real title available?)
• scientific article; zbMATH DE number 3777562 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3521027 (Why is no real title available?)
• scientific article; zbMATH DE number 1220854 (Why is no real title available?)
• scientific article; zbMATH DE number 1517950 (Why is no real title available?)
• scientific article; zbMATH DE number 1512852 (Why is no real title available?)
• scientific article; zbMATH DE number 1512855 (Why is no real title available?)
• scientific article; zbMATH DE number 3804225 (Why is no real title available?)
• scientific article; zbMATH DE number 889968 (Why is no real title available?)
• scientific article; zbMATH DE number 5214898 (Why is no real title available?)
• scientific article; zbMATH DE number 3251317 (Why is no real title available?)
• scientific article; zbMATH DE number 2236620 (Why is no real title available?)
• scientific article; zbMATH DE number 3186734 (Why is no real title available?)
• *-Autonomous categories and linear logic
• A dynamic-logical perspective on quantum behavior
• A logical description for perfect measurements
• Big toy models. Representing physical systems as Chu spaces
• Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
• Categorical quantum mechanics
• Chu spaces from the representational viewpoint
• Coalgebras, Chu spaces, and representations of physical systems
• Complete axiomatizations for quantum actions
• Continuous Lattices and Domains
• Continuous and completely distributive lattices
• Correspondence between Kripke frames and projective geometries
• Duality for the logic of quantum actions
• Failure of standard quantum mechanics for the description of compound quantum entities
• Generalized probability theories: what determines the structure of quantum theory?
• Ideal, first-kind measurements in a proposition-state structure
• LQP: the dynamic logic of quantum information
• Linear logic
• On state spaces and property lattices
• Operational theories and categorical quantum mechanics
• Orthogonality spaces arising from infinite-dimensional complex Hilbert spaces
• Orthomodularity in infinite dimensions; a theorem of M. Solèr
• Quantum axiomatics and a theorem of M. P. Solèr
• Quantum states: an analysis via the orthogonality relation
• Quantum theory: concepts and methods
• Reichenbach and the logic of quantum mechanics
• Relational quantum mechanics
• 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
• Test spaces
• The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
• The logic of quantum mechanics

Cited in

(2)

• Generalized possibilistic theories: the multipartite experiments problem
• Symmetries and Wigner representations of operational theories

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)