DOI10.1007/BF01195268zbMath0642.06008MaRDI QIDQ1101137
Walter Taylor
Publication date: 1987 Published in: Algebra Universalis (Search for Journal in Brave)
zbMATH Keywords
Heyting algebra; lattice of interpretability types; n-element chain
Mathematics Subject Classification ID
06D20: Heyting algebras (lattice-theoretic aspects)
08B99: Varieties
Related Items
Cites Work