eng
episciences.org
Logical Methods in Computer Science
1860-5974
2020-02-25
Volume 16, Issue 1
10.23638/LMCS-16(1:26)2020
4094
journal article
Distances between States and between Predicates
Bart Jacobs
Abraham Westerbaan
This paper gives a systematic account of various metrics on probability
distributions (states) and on predicates. These metrics are described in a
uniform manner using the validity relation between states and predicates. The
standard adjunction between convex sets (of states) and effect modules (of
predicates) is restricted to convex complete metric spaces and directed
complete effect modules. This adjunction is used in two state-and-effect
triangles, for classical (discrete) probability and for quantum probability.
https://lmcs.episciences.org/4094/pdf
Computer Science - Logic in Computer Science
F.1.1
F.1.1