Vickers, Steven (2008) A localic theory of lower and upper integrals. Mathematical Logic Quarterly, 54 (4). pp. 109123. ISSN 09425616
 URL of Published Version: http://www3.interscience.wiley.com/journal/117902848/abstract Identification Number/DOI: 10.1002/malq.200710028 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 nonnegative upper reals,then its upper integral with respect to a covaluation and with domain of 
Type of Work:  Article 

Date:  30 January 2008 (Publication) 
School/Faculty:  Schools (1998 to 2008) > School of Computer Science 
Department:  Computer Science 
Subjects:  Q Science (General) QA Mathematics 
Institution:  University of Birmingham 
Copyright Holders:  John Wiley & Sons 
ID Code:  185 
Refereed:  YES 
Local Holdings: 

Repository Staff Only: item control page