Intuitionistic quantum logic of an n−level system
Main Authors: | Caspers, M, Heunen, C, Landsman, K, Spitters, B |
---|---|
Format: | Journal article |
Published: |
2009
|
Similar Items
-
Bohrification of operator algebras and quantum logic
by: Landsman, C, et al.
Published: (2012) -
A Topos for Algebraic Quantum Theory
by: Heunen, C, et al.
Published: (2009) -
A topos for algebraic quantum theory
by: Heunen, C, et al.
Published: (2009) -
Categorical quantum models and logics
by: Heunen, C
Published: (2009) -
Compositional quantum logic
by: Coecke, B, et al.
Published: (2013)