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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science S. 83 - 92
1. Verfasser:	Jacobs, Bart
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.06.2013
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!