The Birkhoff completion of finite lattices
<|reference_start|>The Birkhoff completion of finite lattices: We introduce the Birkhoff completion as the smallest distributive lattice in which a given finite lattice can be embedded as semi-lattice. We discuss its relationship to implicational theories, in particular to R. Wille's simply-implicational theories. By an example, we show how the Birkhoff completion can be used as a tool for ordinal data science.<|reference_end|>
@article{abdulla2024the,
    title={The Birkhoff completion of finite lattices},
    author={Mohammad Abdulla, Johannes Hirth, Gerd Stumme},
    journal={arXiv preprint arXiv:2405.02342},
    year={2024},
    archivePrefix={arXiv},
    eprint={2405.02342},
    primaryClass={cs.DM cs.AI cs.LO}
}