Showing 2025Show all
2 papers · 1 filter
math.LO2025
Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras
Alex Citkin
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…
math.LO2025
In Memoriam Vadim Anatol'evich Yankov (1935-2024)
Alex Citkin, Ioannis M. Vandoulakis
This short note is dedicated to the memory of the distinguish logician V. Yankov (Jankov).