Complete axiomatizations for quantum actions
From MaRDI portal
Recommendations
- Axiomatic quantum mechanics and completeness
- Quantum axiomatics
- Axiomatic quantum theory
- scientific article; zbMATH DE number 3857106
- A completeness theorem of quantum set theory
- scientific article; zbMATH DE number 1045679
- Quantum axiomatics and a theorem of M. P. Solèr
- scientific article; zbMATH DE number 166981
- A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
- Axioms for quantum theory
Cites work
- scientific article; zbMATH DE number 986406 (Why is no real title available?)
- scientific article; zbMATH DE number 3166132 (Why is no real title available?)
- scientific article; zbMATH DE number 3521027 (Why is no real title available?)
- scientific article; zbMATH DE number 1282770 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- scientific article; zbMATH DE number 2097001 (Why is no real title available?)
- scientific article; zbMATH DE number 845962 (Why is no real title available?)
- scientific article; zbMATH DE number 3227853 (Why is no real title available?)
- scientific article; zbMATH DE number 3266514 (Why is no real title available?)
- scientific article; zbMATH DE number 3288522 (Why is no real title available?)
- A remark on Piron's paper
- Characterization of hilbert spaces by orthomodular spaces
- Ein nicht-klassischer Hilbertscher Raum
- In defense of operational quantum logic
- Lexicographic orthogonality
- Logic, epistemology, and the unity of science
- On a duality of quantales emerging from an operational resolution
- On state transformations induced by yes-no experiments, in the context of quantum logic
- Orthomodularity is not elementary
- Reasoning in quantum theory. Sharp and unsharp quantum logics.
- Semantic analysis of orthologic
- Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms
- Stalnaker conditionals and quantum logic
- The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
Cited in
(25)- Reconstructing quantum theory from its possibilistic operational formalism
- Distances between formal theories
- Quantum logic as a dynamic logic
- Duality for the logic of quantum actions
- Ultraproduct for quantum structures
- Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
- Quantum entanglement: an analysis via the orthogonality relation
- First-order frames for orthomodular quantum logic
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
- Correlated knowledge: an epistemic-logic view on quantum entanglement
- Correlated information: a logic for multi-partite quantum systems
- Quantum states: an analysis via the orthogonality relation
- A logical analysis of quantum voting protocols
- The dynamic turn in quantum logic
- Correspondence between Kripke frames and projective geometries
- A first-order epistemic quantum computational semantics with relativistic-like epistemic effects
- Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
- On the modal logic of the non-orthogonality relation between quantum states
- Weakly complete axiomatization of exogenous quantum propositional logic
- A dynamic-logical perspective on quantum behavior
- Classical logic and quantum logic with multiple and common lattice models
- A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
- Logics of informational interactions
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
- Modeling correlated information change: from conditional beliefs to quantum conditionals
This page was built for publication: Complete axiomatizations for quantum actions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861649)
