Pages that link to "Item:Q1768730"
From MaRDI portal
The following pages link to The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes (Q1768730):
Displaying 11 items.
- The dynamic turn in quantum logic (Q383006) (← links)
- Weakly intuitionistic quantum logic (Q383556) (← links)
- Duality for the logic of quantum actions (Q495836) (← links)
- Quantum logic as a dynamic logic (Q542128) (← links)
- Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices (Q682665) (← links)
- Complete axiomatizations for quantum actions (Q861649) (← links)
- A dynamic-logical perspective on quantum behavior (Q941738) (← links)
- Quantum logic in dagger kernel categories (Q981683) (← links)
- Modeling correlated information change: from conditional beliefs to quantum conditionals (Q1701692) (← links)
- Quantum Logic in Dagger Kernel Categories (Q2825365) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)