Complete axiomatizations for quantum actions

DOI10.1007/s10773-005-8022-2zbMath1110.81013MaRDI 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

quantales; dynamic quantum logic; Piron lattices; quantum dynamic algebra; quantum frames; quantum transition systems

Mathematics Subject Classification ID

06C15: Complemented lattices, orthocomplemented lattices and posets

81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)

03G12: Quantum logic

Related Items

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

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