母猪
发表于 2025-3-26 22:04:43
U,-Admitting DCPOS Need not be Sober,. implies .⊂. for some . ⊂ .. In this note, we construct an example of a ..-admitting dcpo which is not sober, thus giving a negative answer to an open problem posed by Heckmann in 1991. Moreover, we prove that for every locally compact dcpo, ..-admitting is equivalent to sober.
粗语
发表于 2025-3-27 03:22:33
Normal Subsets in Abstract Bases,, the problem of definition and characterization of sub-domains in the category of continuous domains will be discussed. Then a dcpo class of abstract bases will be introduced and a fixed point theorem of continuous mappings on the class will be addressed. Finally, connections with other approaches to domain equations will be discussed briefly.
Audiometry
发表于 2025-3-27 05:26:56
http://reply.papertrans.cn/29/2826/282530/282530_33.png
虚弱
发表于 2025-3-27 12:00:13
https://doi.org/10.1007/978-3-322-81404-3In this paper continuity for abstract semantics defined for lattices is generalized to the case of bc-domains, an equivalent characterization for semantics being continuous is given. Relation between continuity and compactness is given. Finally, application to fuzzy logic is discussed.
俗艳
发表于 2025-3-27 14:32:13
The Lawson Topology on Quasicontinuous Domains,For a directed complete poset ., let λ(.) and σ(.) be the lower topology and the Lawson topology on . respectively. We constructively prove that if . is a quasicontinuous domain and all lower closed subsets in (., λ(.)) are closed in (., ω(.)),then (.,λ(P)) is strictly completely regular ordered space.
invade
发表于 2025-3-27 20:01:53
Compact Semantics on BC-Domains,In this paper continuity for abstract semantics defined for lattices is generalized to the case of bc-domains, an equivalent characterization for semantics being continuous is given. Relation between continuity and compactness is given. Finally, application to fuzzy logic is discussed.
caldron
发表于 2025-3-28 01:12:58
https://doi.org/10.1007/978-94-010-0654-5C programming language; Equivalence; computability; logic; proof; semantics
Facet-Joints
发表于 2025-3-28 03:33:51
http://reply.papertrans.cn/29/2826/282530/282530_38.png
nerve-sparing
发表于 2025-3-28 07:53:12
http://reply.papertrans.cn/29/2826/282530/282530_39.png
Priapism
发表于 2025-3-28 14:25:29
http://reply.papertrans.cn/29/2826/282530/282530_40.png