A note on interpretations of Heyting algebras

DOI10.1007/BF01195268zbMath0642.06008MaRDI QIDQ1101137

Walter Taylor

Publication date: 1987

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

Heyting algebralattice of interpretability typesn-element chain

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Varieties (08B99)

Related Items (3)

Universal algebras ⋮ On interpretations of varieties with semilattice reduct ⋮ Interpretations of module varieties

Cites Work

• Interpretations into Heyting algebras
• The lattice of interpretability types of varieties
• On Malcev conditions

This page was built for publication: A note on interpretations of Heyting algebras