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

Full description

Bibliographic Details

Published in:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 83 - 92
Main Author:	Jacobs, Bart
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.06.2013
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!