Browsing Artículos by Author "Höhle, Ulrich"
Now showing items 1-4 of 4
-
A theory of quantale-enriched dcpos and their topologization
Gutiérrez García, Francisco Javier; Höhle, Ulrich; Kubiak, Tomasz (Elsevier, 2022-09)There have been developed several approaches to a quantale-valued quantitative domain theory. If the quantale Q is integral and commutative, then Q-valued domains are Q-enriched, and every Q-enriched domain is sober in ... -
An extension of the fuzzy unit interval to a tensor product with completely distributive first factor
Gutiérrez García, Francisco Javier; Höhle, Ulrich; Kubiak, Tomasz (Elsevier, 2018-07-10)The original Hutton interval I (L) can algebraically be identified with the tensor product I ⊗ L of the real unit interval I and a complete lattice L. Due to this, the tensor product M ⊗ L with M a completely distributive ... -
Enriched lower separation axioms and the principle of enriched continuous extension
Arrieta Torres, Igor; Gutiérrez García, Francisco Javier; Höhle, Ulrich (Elsevier, 2023-09-30)[EN] This paper presents a version of the lower separation axioms and the principle of enriched continuous extension for quantale-enriched topological spaces. As a remarkable result, among other things, we point out that ... -
Some characterizations of the tensor product of complete lattices with applications to quantales
Gutiérrez García, Francisco Javier; Höhle, Ulrich; Kubiak, Tomasz (Springer, 2018-09-17)This paper examines tensor products of complete lattices in which one factor is com- pletely distributive. At least five characterizations of complete distributivity involving tensor products of complete lattices are given, ...