An effect-theoretic account of Lebesgue integration

DOI10.1016/j.entcs.2015.12.015zbMath1352.81011OpenAlexW2219634533WikidataQ113317726 ScholiaQ113317726MaRDI QIDQ5971402

Bart Jacobs, Bram Westerbaan

Publication date: 16 December 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2015.12.015

zbMATH Keywords

effect algebraLebesgue integrationeffect module

Mathematics Subject Classification ID

Integrals of Riemann, Stieltjes and Lebesgue type (26A42) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Set functions, measures and integrals with values in ordered spaces (28B15)

Related Items (10)

From probability monads to commutative effectuses ⋮ Quantum effect logic in cognition ⋮ Affine Monads and Side-Effect-Freeness ⋮ A Type Theory for Probabilistic and Bayesian Reasoning ⋮ Unnamed Item ⋮ A channel-based perspective on conjugate priors ⋮ A universal property for sequential measurement ⋮ Inversion, Iteration, and the Art of Dual Wielding ⋮ Disintegration and Bayesian inversion via string diagrams ⋮ A Formal Semantics of Influence in Bayesian Reasoning

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effect algebras and unsharp quantum logics.
• Domain theory and integration
• Codensity and the Giry monad
• Order theoretic foundations of integration
• Semantics of probabilistic programs
• Algebraic foundations of many-valued reasoning
• Morphisms, tensor products and \(\sigma\)-effect algebras
• Coreflections in algebraic quantum logic
• The Mathematical Language of Quantum Theory
• Integrals and valuations
• Measurable Spaces and Their Effect Logic
• On Integration in Vector Spaces

This page was built for publication: An effect-theoretic account of Lebesgue integration