Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras

2025/12/05 by Citkin, Alex
#35A0 #65L10 #65L12 #65L20 #65L70 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2512.05633

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.

Related

• Characteristic formulas over intermediate logics
• Hereditarily Structurally Complete Superintuitionistic Deductive Systems
• Structural and universal completeness in algebra and logic
• Topologies for intermediate logics
• On structural completeness vs almost structural completeness problem: A\n discriminator varieties case study