Found 1 document(s)
Page 1 of 1
-
We establish a formal relation between quantitative and semantic approximations-formalized by pre-metrics and upper closure operators (ucos), respectively-by means of Galois connections. This connection reveals that it i...