The order-theoretic duality and relations between partial metrics and local equalities
DOI10.1016/j.fss.2011.04.014zbMath1244.03143OpenAlexW2054171835MaRDI QIDQ419040
Publication date: 18 May 2012
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2011.04.014
fuzzy relationHeyting algebraBL-algebraquantaleweighted metricfuzzy equivalence relationfuzzy equality\(L\)-valued setGL-monoidmany-valued equalitypartial pseudometric
Metric spaces, metrizability (54E35) Theory of fuzzy sets, etc. (03E72) Special categories (18B99) Quantales (06F07) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (10)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An extensional treatment of lazy data flow deadlock
- Point-set lattice-theoretic topology
- Partial quasi-metrics
- An enriched category approach to many valued topology
- Fuzzy sets and sheaves. I: Basic concepts
- Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics
- On the structure of F-indistinguishability operators
- Topoi. The categorial analysis of logic
- Approximation of metric spaces by partial metric spaces
- Metamathematics of fuzzy logic
- Continuity spaces: Reconciling domains and metric spaces
- Triangular norms
- Metric, topology and multicategory -- a common approach
- Foundations of fuzzy sets
- Dually residuated lattice ordered semigroups
- Partial Metric Spaces
- Metric spaces, generalized logic, and closed categories
- Partial Metric Topology
- Foundations of fuzzy functions and vague algebra based on many-valued equivalence relations, part I: fuzzy functions and their applications
- Separated Presheaves of Normed Spaces and -valued Norms
- Partial metrizability in value quantales
- The local triangle axiom in topology and domain theory
- Residuated Lattices
- Conuclei and many valued topology
This page was built for publication: The order-theoretic duality and relations between partial metrics and local equalities