Scifaro

中文

叉形框架及其在闭包代数归并中的作用

计算机科学中的逻辑 2025-12-31 v6 环与代数

作者: Ivo Düntsch , Wojciech Dzik

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

我们考虑双叉叉形框架 $F$ 及其对偶闭包代数 $B_F$ 所生成的簇 $\mathbf{Eq}(B_F)$ 。我们描述了 $\mathbf{Eq}(B_F)$ 中的有限投射代数，并给出一个纯语义证明：在 $\mathbf{Eq}(B_F)$ 中的归并是有限基的且非单元的。

关键词

闭包代数叉形框架归并有限投射代数语义证明等式簇

引用

@article{arxiv.2309.16824,
  title  = {The fork and its role in unification of closure algebras},
  author = {Ivo Düntsch and Wojciech Dzik},
  journal= {arXiv preprint arXiv:2309.16824},
  year   = {2025}
}