Output details
11 - Computer Science and Informatics
University of Birmingham
Article title
A Localic Theory of Lower and Upper Integrals
Type
D - Journal article
Title of journal
Mathematical Logic Quarterly
Article number
-
Volume number
54
Issue number
1
First page of article
109
ISSN of journal
0942-5616
Year of publication
2008
Number of additional authors
0
Additional information
<13>For the first time gives a constructive, point-free theory of integrals for real valued maps on any locale. Introduces the "valuation locales", general localic analogues of the Giry functor from measure theory, as constructions in geometric logic in point-free topology. Valuation locales are key to the topos approaches to quantum theory, hence citations by Heunen, Landsman and Spitters, and by Coquand and Spitters. The geometricity of the valuation locales lay the foundation for my EPSRC project "Applications of geometric logic to topos approaches to quantum theory".
Interdisciplinary
-
Cross-referral requested
-
Research group
G - Theory of Computation
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
