Free $T_n$-Heyting algebras

Juan Manuel Cornejo, Andrés Gallardo, Paula Helt +2

$T_n$-Heyting algebras form a subvariety of Heyting algebras and are characterized by the property that a chain of prime filters in such an algebra has at most $n-1$ elements. We…