Interpretations into Heyting algebras

DOI10.1007/BF01188392MaRDI QIDQ1820182zbMATH OpenFDO

Authors R. 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

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

Recommendations

• On interpretations of varieties with semilattice reduct
• A note on interpretations of Heyting algebras
• Interpretations into p-Algebras
• scientific article; zbMATH DE number 742859
• scientific article; zbMATH DE number 1506798

Cites work

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

Cited in

(9)

• Interpretations of module varieties
• scientific article; zbMATH DE number 1506798 (Why is no real title available?)
• Universal algebras
• scientific article; zbMATH DE number 860121 (Why is no real title available?)
• Inquisitive Heyting algebras
• Interpretations into p-Algebras
• On interpretations of varieties with semilattice reduct
• On algebras and varieties with semilattice reducts
• A note on interpretations of Heyting algebras

This page was built for publication: Interpretations into Heyting algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1820182)