The duality of distributive σ-continuous lattices

1981 ◽  
pp. 12-19 ◽  
Author(s):  
B. Banaschewski
Keyword(s):  
Continuous Lattices

Linear types and approximation

2000 ◽  
Vol 10 (6) ◽  
pp. 719-745 ◽  
Author(s):  
MICHAEL HUTH ◽  
ACHIM JUNG ◽  
KLAUS KEIMEL
Keyword(s):  
Full Subcategory ◽  
Linear Logic ◽  
Domain Theory ◽  
Classical Domain ◽  
Complete Distributivity ◽  
Linear Types ◽  
Continuous Lattices

We study continuous lattices with maps that preserve all suprema rather than only directed ones. We introduce the (full) subcategory of FS-lattices, which turns out to be *-autonomous, and in fact maximal with this property. FS-lattices are studied in the presence of distributivity and algebraicity. The theory is extremely rich with numerous connections to classical Domain Theory, complete distributivity, Topology and models of Linear Logic.

scholarly journals Some operators and dimensions in modular meet-continuous lattices

2018 ◽  
Vol 17 (05) ◽  
pp. 1850094 ◽  
Author(s):  
Mauricio Medina Bárcenas ◽  
José Ríos Montes ◽  
Angel Zaldívar Corichi
Keyword(s):  
Complete Lattice ◽  
Monotone Function ◽  
Continuous Lattice ◽  
Continuous Lattices

Given a complete modular meet-continuous lattice [Formula: see text], an inflator on [Formula: see text] is a monotone function [Formula: see text] such that [Formula: see text] for all [Formula: see text]. If [Formula: see text] is the set of all inflators on [Formula: see text], then [Formula: see text] is a complete lattice. Motivated by preradical theory, we introduce two operators, the totalizer and the equalizer. We obtain some properties of these operators and see how they are related to the structure of the lattice [Formula: see text] and with the concept of dimension.

scholarly journals Fixpoint games on continuous lattices

2019 ◽  
Vol 3 (POPL) ◽  
pp. 1-29
Author(s):  
Paolo Baldan ◽  
Barbara König ◽  
Christina Mika-Michalski ◽  
Tommaso Padoan
Keyword(s):  
Continuous Lattices

Remarks on the extension of continuous lattices

1966 ◽  
Vol 166 (4) ◽  
pp. 277-283 ◽  
Author(s):  
Demetrios A. Kappos ◽  
Fredos Papangelou
Keyword(s):  
Continuous Lattices

Approximating Orders in Meet-Continuous Lattices and Regularity Axioms in Many Valued Topology

Order ◽  
2007 ◽  
Vol 25 (1) ◽  
pp. 9-17 ◽  
Author(s):  
Ulrich Höhle ◽  
Tomasz Kubiak
Keyword(s):  
Continuous Lattices
Sign in / Sign up

Export Citation Format

Share Document