We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: Continuous Domains in Formal Concept Analysis

Abstract: 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 formal context and continuous formal concept are introduced by considering a selection F of fnite subsets of attributes. Our decision of a selection F relies on a kind of generalized interior operators. It is shown that the set of continuous formal concepts forms a continuous domain, and every continuous domain can be obtained in this way. Moreover, an notion of F-morphism is also identified to produce a category equivalent to that of continuous domains with Scott-continuous functions. This paper also consider the representations of various subclasses of continuous domains such as algebraic domains, bounded complete domains and stably continuous semilattices. These results explore the fundamental idea of domain theory in Formal Concept Analysis from a categorical viewpoint.
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
Journal reference: Fundamenta Informaticae 179 (2021)
DOI: 10.3233/FI-2021-2025
Cite as: arXiv:1912.04496 [cs.LO]
  (or arXiv:1912.04496v1 [cs.LO] for this version)

Submission history

From: Longchun Wang [view email]
[v1] Tue, 10 Dec 2019 04:57:15 GMT (23kb)

Link back to: arXiv, form interface, contact.