Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras
Logic
2025-12-08 v1
Abstract
We give an algebraic proof of the criterion for hereditary structural completeness of an intermediate logic, or, equivalently, of the primitiveness of a variety of Heyting algebras.
Cite
@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}
}