Showing cs.LOShow all
2 papers · 1 filter
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…