Formal Contexts for Algebraic Domains

Authors:
Mengqiao Huang;Qingguo Li;Lankun Guo
Affiliations:
-;-;-
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2014

Citing 6
Cited 0

Continuous information system

Information and Computation
A computational model for metric spaces

Theoretical Computer Science
Domain representations of topological spaces

Theoretical Computer Science
Formal Concept Analysis: Mathematical Foundations

Formal Concept Analysis: Mathematical Foundations
Domains for Denotational Semantics

Proceedings of the 9th Colloquium on Automata, Languages and Programming
Information systems revisited – the general continuous case

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.