论文信息 - Meet continuity properties of posets

Meet continuity properties of posets

In this paper we consider a number of properties of posets that are not directed complete: in particular, meet continuous posets, locally meet continuous posets and PI-meet continuous posets are introduced. Characterizations of (locally) meet continuous posets are presented. The main results are: (1) A poset is meet continuous iff its lattice of Scott closed subsets is a complete Heyting algebra; (2) A poset is a meet continuous poset with a lower hereditary Scott topology iff its upper topology is contained in its local Scott topology and the lattice of all local Scott closed sets is a complete Heyting algebra; and (3) A poset with a lower hereditary Scott topology is meet continuous iff it is locally meet continuous, iff it is PI-meet continuous.

Luoshan Xu | Xuxin Mao | Luoshan Xu | Xuxin Mao

[1] Luoshan Xu,et al. Strongly continuous posets and the local Scott topology , 2008 .

[2] Viggo Stoltenberg-Hansen,et al. Mathematical theory of domains , 1994, Cambridge tracts in theoretical computer science.

[3] Michael W. Mislove. Local Dcpos, Local Cpos and Local Completions , 1999, MFPS.

[4] Jimmie D. Lawson,et al. Posets having continuous intervals , 2004, Theor. Comput. Sci..

[5] Klaus Keimel,et al. Domains and Processes , 2001 .

[6] Michael W. Mislove,et al. A foundation for computation , 2000 .

[7] Dov M. Gabbay,et al. Handbook of logic in computer science. Volume 3. Semantic Structures , 1995 .

[8] L Xu. CONSISTENTLY CONTINUOUS POSETS AND THEIR DIRECTED COMPLETIONS , 2000 .

[9] Luoshan Xu. Continuity of posets via Scott topology and sobrification , 2006 .

[10] Hui Kou,et al. On Meet-Continuous Dcpos , 2003 .

[11] K. Hofmann,et al. Continuous Lattices and Domains , 2003 .

[12] Michael W. Mislove,et al. Topology, domain theory and theoretical computer science , 1998 .

[13] Paulo Sérgio Almeida. Type-checking Balloon Types , 1999, MFPS.

[14] Jimmie D. Lawson,et al. Encounters Between Topology and Domain Theory , 2001 .

[15] G Q Zhang,et al. Domain Theory, Logic and Computation , 2003 .