Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

A Discrete Representation for Dicomplemented Lattices

Düntsch I., Kwuida L., Orłowska E.

Fundamenta Informaticae

2017

Vol. 156, nr 3/4

281--295

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 general lattices.