Duality for the logic of quantum actions (Q495836)

The authors show a duality between two categories of quantum structures (for two different types of morphisms). The first category is the category of Piron lattices, i.e., irreducible atomic complete orthomodular lattices satisfying the covering property, based on testable properties. The second category is the category of quantum dynamic frames (labeled transition systems) based on states of the system.