On a characterization of the lattice of subsystems of a transition system
Jean-Paul Mavoungou, C. Nkuimi-Jugnia · International Journal of Mathematics and Mathematical Sciences · 2006
It was first proved by Birkhoff and Frink, and the result now belongs to the folklore, that any algebraic lattice is up to isomorphism the lattice of subuniverses of a universal algebra. A study of subsystems of a transition system yields a new algebraic concept, that of a strongly algebraic lattice. We give here a representation theorem to the manner of Birkhoff and Frink of such lattices.