尖拟正交模与相对拟正交模偏序集中的蕴涵
逻辑
2023-01-24 v1
摘要
在本文中，我们表明若干具有拟正交模归约的偏序结构类，或其截面可视为拟正交模偏序集的结构类，承认一种相当自然的蕴涵概念，该概念容许合适的伴随性概念。在此框架下，我们将著名的Greechie关于有限布尔代数合并的定理平滑地推广到Kleene格的领域。
引用
@article{arxiv.2301.09529,
title = {Implication in sharply paraorthomodular and relatively paraorthomodular posets},
author = {Ivan Chajda and Davide Fazio and Helmut Länger and Antonio Ledda and Jan Paseka},
journal= {arXiv preprint arXiv:2301.09529},
year = {2023}
}