Congruences of Finite Distributive Concept Algebras

  • Bernhard Ganter
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2961)


We describe a method to construct a formal context for the congruence lattice of a finite distributive concept algebra. This is part of a broad effort to investigate the structural properties of conceptual negations.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ganter, B., Wille, R.: Formal Concept Analysis - Mathematical Foundations. Springer, Heidelberg (1999)zbMATHGoogle Scholar
  2. 2.
    Kwuida, L.: Ph.D. thesis on dicomplemented lattices. Dresden (2004) Google Scholar
  3. 3.
    Ganter, B., Kwuida, L.: Representing weak dicomplementations on finite distributive lattices, TU Dresden (2002) (preprint)Google Scholar
  4. 4.
    Wille, R.: Boolean Concept Logic. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol. 1867, Springer, Heidelberg (2000)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Bernhard Ganter
    • 1
  1. 1.Institut für AlgebraTechnische Universität DresdenGermany

Personalised recommendations