A Discrete Representation for Dicomplemented Lattices
Ivo Düntsch, Léonard Kwuida, Ewa S. Orłowska · Fundamenta Informaticae · 2017
Dicomplemented lattices were introduced as an abstraction of Wille’s concept algebras which provided negations to a concept lattice. We prove a discrete representation theorem for the class of dicomplemented lattices. The theorem is based on a topology free version of Urquhart’s representation of g eneral lattices.