Duality for the logic of quantum actions (Q495836): Difference between revisions

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.

0 references

reviewed by

Josef Tkadlec

0 references

zbMATH Keywords

quantum logic

0 references

Piron lattice

0 references

quantum dynamic frame

0 references

duality

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s11225-014-9592-x

0 references

cites work

Q2851797

0 references

Category Theory

0 references

Complete axiomatizations for quantum actions

0 references

LQP: the dynamic logic of quantum information

0 references

Q3952094

0 references

Q5532570

0 references

Q2744124

0 references

The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes

0 references

An elementary proof of the fundamental theorem of projective geometry

0 references

Semantic analysis of orthologic

0 references

Q4525781

0 references

Q3965241

0 references

Q4750696

0 references

Stone Duality for Markov Processes

0 references

Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms

0 references

Q4882483

0 references

On state spaces and property lattices

0 references

Q4100556

0 references

The Theory of Representation for Boolean Algebras

0 references

Q5427872

0 references

Q3408862

0 references

Symmetry and Self-Duality in Categories of Probabilistic Models

0 references

Identifiers

zbMATH Open document ID

1361.06005

0 references

DOI

10.1007/s11225-014-9592-x

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:495836

@@ Property / author @@
-Jort Martinus Bergfeld
@@ Property / author: Jort Martinus Bergfeld / rank @@
-Normal rank
@@ Property / author @@
+Jort Martinus Bergfeld
@@ Property / author: Jort Martinus Bergfeld / rank @@
+Normal rank
@@ Property / review text @@
+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.
+Normal rank
@@ Property / reviewed by @@
+Josef Tkadlec
@@ Property / reviewed by: Josef Tkadlec / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D50
@@ Property / Mathematics Subject Classification ID: 06D50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G12
@@ Property / Mathematics Subject Classification ID: 03G12 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P10
@@ Property / Mathematics Subject Classification ID: 81P10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 18B35 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6482419
@@ Property / zbMATH DE Number: 6482419 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantum logic
@@ Property / zbMATH Keywords: quantum logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Piron lattice
@@ Property / zbMATH Keywords: Piron lattice / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantum dynamic frame
@@ Property / zbMATH Keywords: quantum dynamic frame / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+duality
@@ Property / zbMATH Keywords: duality / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-014-9592-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2012421462
@@ Property / OpenAlex ID: W2012421462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851797
@@ Property / cites work: Q2851797 / rank @@
+Normal rank
@@ Property / cites work @@
+Category Theory
@@ Property / cites work: Category Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations for quantum actions
@@ Property / cites work: Complete axiomatizations for quantum actions / rank @@
+Normal rank
@@ Property / cites work @@
+LQP: the dynamic logic of quantum information
@@ Property / cites work: LQP: the dynamic logic of quantum information / rank @@
+Normal rank
@@ Property / cites work @@
+Q3952094
@@ Property / cites work: Q3952094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
+Normal rank
@@ Property / cites work @@
+An elementary proof of the fundamental theorem of projective geometry
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4750696
@@ Property / cites work: Q4750696 / rank @@
+Normal rank
@@ Property / cites work @@
+Stone Duality for Markov Processes
@@ Property / cites work: Stone Duality for Markov Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms
+Normal rank
@@ Property / cites work @@
+Q4882483
@@ Property / cites work: Q4882483 / rank @@
+Normal rank
@@ Property / cites work @@
+On state spaces and property lattices
@@ Property / cites work: On state spaces and property lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100556
@@ Property / cites work: Q4100556 / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5427872
@@ Property / cites work: Q5427872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry and Self-Duality in Categories of Probabilistic Models
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:495836