22 citations · 47 across the 19 of their papers we have counts for
5 papers · 1 filter
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…
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…
A characterization of the consistent Hoare powerdomains over dcpos
Zhongxi Zhang, Qingguo Li, Nan Zhang
It has been shown that for a dcpo P, the Scott closure of Γ_c(P) in Γ(P) is a consistent Hoare powerdomain of P, where Γ_c(P) is the family of nonempty, consistent and Scott closed…
Categorical Representations of Continuous Domains and Continuous L-Domains Based on Closure Spaces
Longchun Wang, Qingguo Li, Lankun Guo
Closure space has proven to be a useful tool to restructure lattices and various order structures.This paper aims to provide a novel approach to characterizing some important kinds…
Domains via approximation operators
Zhiwei Zou, Qingguo Li, Weng Kin Ho
In this paper, we tailor-make new approximation operators inspired by rough set theory and specially suited for domain theory. Our approximation operators offer a fresh perspective…