有限格的伯克霍夫完备化
离散数学
2024-05-07 v1 人工智能
计算机科学中的逻辑
摘要
我们引入了伯克霍夫完备化，作为给定有限格可以作为半格嵌入的最小分配格。我们讨论了它与蕴含理论的关系，特别是与R. Wille的简单蕴含理论的关系。通过一个例子，我们展示了伯克霍夫完备化如何被用作有序数据科学的工具。
引用
@article{arxiv.2405.02342,
title = {The Birkhoff completion of finite lattices},
author = {Mohammad Abdulla and Johannes Hirth and Gerd Stumme},
journal= {arXiv preprint arXiv:2405.02342},
year = {2024}
}