A localic theory of lower and upper integrals

@article{Vickers2008ALT,
  title={A localic theory of lower and upper integrals},
  author={Steven J. Vickers},
  journal={Math. Log. Q.},
  year={2008},
  volume={54},
  pages={109-123}
}
An account of lower and upper integration is given. It is constructive in the sense of geometric logic. If the integrand takes its values in the nonnegative lower reals, then its lower integral with respect to a valuation is a lower real. If the integrand takes its values in the non-negative upper reals, then its upper integral with respect to a covaluation and with domain of integration bounded by a compact subspace is an upper real. Spaces of valuations and of covaluations are defined… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
12 Citations
9 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-9 of 9 references

Intuitionistic formal spaces – a first communication, Mathematical Logic and its Applications

  • G. Sambin
  • (Dimiter G. Skordev, ed.),
  • 1987

Lattice theory

  • G. Birkhoff
  • AMS Colloquium Publications, no. 25, AMS…
  • 1984
1 Excerpt

Similar Papers

Loading similar papers…