Complete axiomatizations for quantum actions

DOI10.1007/s10773-005-8022-2zbMath1110.81013OpenAlexW2073128269MaRDI QIDQ861649

Sonja Smets, Alexandru Baltag

Publication date: 29 January 2007

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10773-005-8022-2

zbMATH Keywords

quantalesdynamic quantum logicPiron latticesquantum dynamic algebraquantum framesquantum transition systems

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (22)

Logics of informational interactions ⋮ Unnamed Item ⋮ The dynamic turn in quantum logic ⋮ A first-order epistemic quantum computational semantics with relativistic-like epistemic effects ⋮ First-order frames for orthomodular quantum logic ⋮ Correlated knowledge: an epistemic-logic view on quantum entanglement ⋮ Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ⋮ Quantum entanglement: an analysis via the orthogonality relation ⋮ Quantum states: an analysis via the orthogonality relation ⋮ Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs ⋮ Modeling correlated information change: from conditional beliefs to quantum conditionals ⋮ DISTANCES BETWEEN FORMAL THEORIES ⋮ Correspondence between Kripke frames and projective geometries ⋮ On the modal logic of the non-orthogonality relation between quantum states ⋮ A dynamic-logical perspective on quantum behavior ⋮ Duality for the logic of quantum actions ⋮ Classical logic and quantum logic with multiple and common lattice models ⋮ A logical analysis of quantum voting protocols ⋮ Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices ⋮ Quantum logic as a dynamic logic ⋮ Correlated Information: A Logic for Multi-Partite Quantum Systems ⋮ Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ein nicht-klassischer Hilbertscher Raum
• Lexicographic orthogonality
• Stalnaker conditionals and quantum logic
• On state transformations induced by yes-no experiments, in the context of quantum logic
• Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms
• Semantic analysis of orthologic
• On a duality of quantales emerging from an operational resolution
• The Sasaki hook is not a [static implicative connective but induces a backward [in time] dynamic one that assigns causes]
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Logic, epistemology, and the unity of science
• In defense of operational quantum logic
• Orthomodularity is not elementary
• Characterization of hilbert spaces by orthomodular spaces
• A remark on Piron's paper

This page was built for publication: Complete axiomatizations for quantum actions