可继承结构完备超直觉逻辑与 Heyte 代数原语变种
逻辑
2025-12-08 v1
摘要
我们给出了中间逻辑可继承结构完备性准则的代数证明，等价于 Heyte 代数变种的原始性。
引用
@article{arxiv.2512.05633,
title = {Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras},
author = {Alex Citkin},
journal= {arXiv preprint arXiv:2512.05633},
year = {2025}
}