Reconstructing quantum theory from its possibilistic operational formalism

DOI10.1007/S40509-022-00286-WzbMATH Open1543.81016MaRDI QIDQ6589995

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

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)

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)