The theory of commuting subalgebras of complete Heyting algebras
The authors give a detailed analysis of the lattice of commuting subalgebras of a Heyting algebra and develop a proof theory for these lattices. The main result is a completeness theorem for inequalities and, more generally, Horn sentences valid in all the lattices.
scientific article; zbMATH DE number 1236403
scientific article