Formal Contexts for Algebraic Domains | Zendy

Mengqiao Huang | Zendy; Qingguo Li | Zendy; Lankun Guo | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formal Contexts for Algebraic Domains

Author(s) -

Mengqiao Huang,

Qingguo Li,

Lankun Guo

Publication year - 2014

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2014.01.007

Subject(s) - algebraic number , context (archaeology) , set (abstract data type) , mathematics , representation (politics) , computer science , algebra over a field , formal concept analysis , discrete mathematics , pure mathematics , algorithm , programming language , mathematical analysis , paleontology , politics , political science , law , biology

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research