In this paper, we investigate the representation of algebraic domains by means of Formal Concept Analysis. For a formal context, we can define a large number of consistent sets. Associated with each consistent set, there is a set of F-approximable concepts which are selected from the well known approximable concepts. By virtue of F-approximable concepts, formal contexts and algebraic domains are able to interpret each other. Moreover, by analyzing the finitely consistent sets, the algebraic bifinite domains, algebraic L-domains are exactly located at the corresponding formal contexts, respectively. © 2014 Elsevier B.V. All rights reserved.
CITATION STYLE
Huang, M., Li, Q., & Guo, L. (2014). Formal contexts for algebraic domains. In Electronic Notes in Theoretical Computer Science (Vol. 301, pp. 79–90). https://doi.org/10.1016/j.entcs.2014.01.007
Mendeley helps you to discover research relevant for your work.