Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
type: Item
instance of: scholarly article
title: Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
zbMATH Open document ID: 1387.81023
author: Kohei Kishida
author: Soroush Rafiee Rad
author: Joshua Sack
author: Shengyang Zhong
published in: International Journal of Theoretical Physics
publication date: 2018-02-05T00:00:00Z
Mathematics Subject Classification ID: 81P10
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 06C10
Mathematics Subject Classification ID: 06C15
zbMATH DE Number: 6834025
zbMATH Keywords: orthomodular dynamic algebra
zbMATH Keywords: complete orthomodular lattice
zbMATH Keywords: quantale
MaRDI profile type: Publication
OpenAlex ID: W2734683679
cites work: Quantales, observational logic and process semantics
cites work: Complete axiomatizations for quantum actions
cites work: Duality for the logic of quantum actions
cites work: The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
cites work: Q3996704
cites work: Q5826968
cites work: Q5427872
DOI: 10.1007/S10773-017-3433-4
description: scientific article; zbMATH DE number 6834025