准布尔代数的完备性与同构
逻辑
2025-10-28 v1
摘要
准布尔代数是量子计算逻辑中布尔代数推广。本文我们研究准布尔代数的完备性与同构。首先，我们讨论有限准布尔代数的个数并刻画有限不可约准布尔代数。其次，我们证明准布尔代数的标准完备性。最后，我们证明准布尔代数的变量满足同构延展属性，并提供准布尔代数上同构的完整刻画，说明布尔子代数上的同构如何扩展到整个准布尔代数。
引用
@article{arxiv.2510.23094,
title = {The completeness and congruences of quasi-Boolean algebras},
author = {Xiaohao Liu and Heyan Wang and Wenjuan Chen},
journal= {arXiv preprint arXiv:2510.23094},
year = {2025}
}