Interpretations into Heyting algebras

DOI10.1007/BF01188392zbMATH Open0614.06009MaRDI QIDQ1820182FDOQ1820182

Authors: R. A. Lewin 

Publication date: 1987

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

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

zbMATH Keywords

interpretationsvariety of Heyting algebrasvariety of bounded distributive lattices

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Interpretations of module varieties
• Title not available (Why is that?)
• Title not available (Why is that?)
• Universal algebras
• Inquisitive Heyting algebras
• Interpretations into p-Algebras
• On algebras and varieties with semilattice reducts
• On interpretations of varieties with semilattice reduct
• 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)