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

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 23:54, 4 March 2024

scientific article
Language Label Description Also known as
English
Some corollaries of the correspondence between partial metrics and multivalued equalities
scientific article

    Statements

    Some corollaries of the correspondence between partial metrics and multivalued equalities (English)
    0 references
    0 references
    0 references
    0 references
    29 April 2016
    0 references
    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.
    0 references
    nonclassical logics
    0 references
    topology
    0 references
    category theory
    0 references
    sheaves
    0 references
    domains for denotational semantics
    0 references
    measures of information
    0 references

    Identifiers