Idioma:

Measurable Spaces and Their Effect Logic

Jacobs, Bart

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.83-92

IEEE Computer Society

Texto completo disponível

Citações Citado por

Enviar para

Título:
Measurable Spaces and Their Effect Logic
Autor: Jacobs, Bart
Assuntos: Algebra ; Atmospheric measurements ; duality ; effect algebra ; Equations ; Extraterrestrial measurements ; Giry monad ; measurable space ; Particle measurements ; Probabilistic logic ; Probabilistic system ; Probabilistic system, measurable space, Giry monad, effect algebra, duality ; Quantum computing
É parte de: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.83-92
Descrição: 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^{\perp\perp} = p. Since then it has been realised that these effect structures form a useful abstraction that covers not only quantum logic, but also Boolean logic and probabilistic logic. Moreover, the duality between effect and convex structures lies at the heart of the duality between predicates and states. These insights are leading to a uniform framework for the semantics of computation and logic. This framework has been elaborated elsewhere for set-theoretic, discrete probabilistic, and quantum computation. Here the missing case of continuous probability is shown to fit in the same uniform framework. On a technical level, this involves an investigation of the logical aspects of the Giry monad on measurable spaces and of Lebesgue integration.
Editor: IEEE Computer Society
Idioma: Inglês

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Measurable Spaces and Their Effect Logic

Jacobs, Bart

IEEE Computer Society

Buscando em bases de dados remotas. Favor aguardar.