Some corollaries of the correspondence between partial metrics and multivalued equalities (Q277333): Difference between revisions

The paper discusses interactions between the theories of sheaves and domains. In particular it deals with the correspondence between multivalued equalities (as used in sheaf theory) and partial metrics (as originating in domain theory) by requiring that logical values and distances are represented by dual structures. This makes it possible to transfer results between the two areas and to analyze the interactions between logical and metric ideas. For instance the authors suggest that the natural logical counterparts for partial metrics valued in non-negative reals are multivalued equalities valued in the quantale of non-positive reals. The abstract investigations are illustrated by numerous illuminating examples.