Fixed points in finite de Morgan algebras

Abstract

We eharacterise the fixed points of the polarity of a de Morgan algebra by means of binary partitions of the subset of join-irreducible elements. We apply this characterisation to compute the number of fixed" points in the finite distributive lattices every interval of which can be made into a de Morgan algebra and in the free distributive lattices FD(n… (More)
DOI: 10.1016/0012-365X(85)90147-5

Topics

9 Figures and Tables

Slides referencing similar topics