3 papers
math.GN2021
D-completion, well-filterification and sobrification
Hualin Miao, Longchun Wang, Qingguo Li
In this paper, we obtain some sufficient conditions for the D-completion of a T0 space to be the well-filterification of this space, the well-filterification of a T0 space to be th…
cs.LO2019
Continuous Domains in Formal Concept Analysis
Longchun Wang Lankun Guo, Qingguo Li
Formal Concept Analysis has proven to be an effective method of restructuring complete lattices and various algebraic domains. In this paper, the notions of attribute continuous fo…
cs.LO2019
The categorical equivalence between disjunctive sequent calculi and algebraic L-domains
Longchun Wang, Qingguo Li
This paper establishes a purely syntactic representation for the category of algebraic L-domains with Scott-continuous functions as morphisms. The central tool used here is the not…