Measurable Spaces and Their Effect Logic

So-called effect algebras and modules are basic mathematical structures that were first identified in mathematical physics, for the study of quantum logic and quantum probability. They incorporate a double negation law p ⊥⊥ = p. Since then it has been realised that these effect structures form a use...

Celý popis

Podrobná bibliografie

Vydáno v:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science s. 83 - 92
Hlavní autor:	Jacobs, Bart
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.06.2013
Témata:	Algebra Atmospheric measurements duality effect algebra Equations Extraterrestrial measurements Giry monad measurable space Particle measurements Probabilistic logic Probabilistic system Quantum computing
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!