Priestley representation for distributive lattices with operators and applications to automated theorem proving
Viorica Sofronie-Stokkermans · Max Planck Institute for Plasma Physics · 1999
We present an extension of the Priestley representation theorem to distributive lattices with operators. We then point out how it can be used for automated theorem proving in certain finitely-valued logics.