The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
From MaRDI portal
Publication:1768730
DOI10.1023/B:IJTP.0000048815.92983.6ezbMath1077.81006arXivquant-ph/0111076OpenAlexW1980479755MaRDI QIDQ1768730
Publication date: 15 March 2005
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/0111076
Quantum measurement theory, state operations, state preparations (81P15) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
Related Items (11)
Complete axiomatizations for quantum actions ⋮ The dynamic turn in quantum logic ⋮ Weakly intuitionistic quantum logic ⋮ A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮ Modeling correlated information change: from conditional beliefs to quantum conditionals ⋮ A dynamic-logical perspective on quantum behavior ⋮ Duality for the logic of quantum actions ⋮ Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices ⋮ Quantum logic as a dynamic logic ⋮ Quantum logic in dagger kernel categories ⋮ Quantum Logic in Dagger Kernel Categories
This page was built for publication: The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
