关于分配并半格
On distributive join-semilattices
摘要：
受Gentzen的自然演绎演算中的析取消去规则的启发，并以自然的方式阅读满足的不等式，我们提出了并半格的分配性概念。我们证明，它是等价的概念，目前在文献中。在这种方式中，我们证明了这些概念是线性有序的。最后，我们考虑了带箭头的并半格的分配性概念，即对应于直觉主义逻辑的析取条件片断的代数结构。
英文摘要：
Motivated by Gentzen disjunction elimination rule in his Natural Deduction calculus and reading inequalities with meet in a natural way, we conceive a notion of distributivity for join-semilattices. We prove that it is equivalent to a notion present in the literature. In the way, we prove that those notions are linearly ordered. We finally consider the notion of distributivity in join-semilattices with arrow, that is, the algebraic structure corresponding to the disjunction-conditional fragment of intuitionistic logic.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
