A context-based description of the doubly founded concept lattices in the variety generated by M3

Abstract

In universal algebra and in lattice theory the notion of varieties is very prominent, since varieties describe the classes of all algebras (or of all lattices) modeling a given set of equations. While a comprehensive translation of that notion to a similar notion of varieties of complete lattices - and thus to Formal Concept Analysis - has not yet been accomplished, some characterizations of the doubly founded complete lattices of some special varieties (e.g. the variety of modular or that of distributive lattices) have been discovered. In this paper we use the well-known arrow relations to give a characterization of the formal contexts of doubly founded concept lattices in the variety that is generated by M 3 - the smallest modular, non-distributive lattice variety. © 2011 Springer-Verlag.