A Characterization of Concept Lattices . Dual Concept Lattices

@inproceedings{Schwarzweller2004ACO,
  title={A Characterization of Concept Lattices . Dual Concept Lattices},
  author={Christoph Schwarzweller},
  year={2004}
}
In this article we continue the formalization of concept lattices following [6]. We give necessary and sufficient conditions for a complete lattice to be isomorphic to a given formal context. As a by-product we get that a lattice is complete if and only if it is isomorphic to a concept lattice. In addition we introduce dual formal concepts and dual concept lattices and prove that the dual of a concept lattice over a formal context is isomorphic to the concept lattice over the dual formal… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
0 Extracted Citations
20 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 20 references

Wille.Formal Concept Analysis

  • Bernhard Ganter, Rudolf
  • 1996
1 Excerpt

Functions and their basic properties

  • Czesław Byliński
  • Formalized Mathematics
  • 1990

Trybulec . Partially ordered sets

  • A. Wojciech
  • Journal of Formalized Mathematics
  • 1990

Similar Papers

Loading similar papers…