Interpretations into Heyting algebras

DOI10.1007/BF01188392zbMath0614.06009MaRDI QIDQ1820182

Renato A. Lewin

Publication date: 1987

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

zbMATH Keywords

interpretationsvariety of Heyting algebrasvariety of bounded distributive lattices

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Varieties of lattices (06B20)

Related Items (5)

A note on interpretations of Heyting algebras ⋮ Universal algebras ⋮ On algebras and varieties with semilattice reducts ⋮ On interpretations of varieties with semilattice reduct ⋮ Interpretations of module varieties

Cites Work

• On closed elements in closure algebras
• On formulas of one variable in intuitionistic propositional calculus

This page was built for publication: Interpretations into Heyting algebras