Publications
A Context-Based Description of the Doubly Founded Concept Lattices in the Variety Generated by M_3
Doerfel, S.
Valtchev, P. & Jäschke, R., ed., 'Formal Concept Analysis', 6628(), Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, [10.1007/978-3-642-20514-9_9], 93-106 (2011) [pdf]
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.
Varieties of Lattices
Jipsen, P. & Rose, H.
1992, Springer-Verlag
On the nonexistence of free complete distributive lattices
Garcia, O. & Nelson, E.
Order, 1(4) 399-403 (1985) [pdf]
We prove that there is no free object over a countable set in the category of complete distributive lattices with homomorphisms preserving binary meets and arbitrary joins.
Equational Classes of Lattices
Jónsson, B.
Math. Scand., 22() 187-196 (1968)
Algebras whose Congruence Lattices are Distributive
Jónsson, B.
Math. Scand., 21() 110-121 (1967)