A discriminator variety of Heyting algebras with involution

DOI10.1007/BF02027229MaRDI QIDQ1055458zbMATH OpenFDO

Authors V. Yu. Meskhi

Publication date 1983

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02027229

zbMATH Keywords

congruence extension propertydefinable principal congruencesdiscriminator varietypseudo- complementationspecial filterssubdirectly irreduciblesubvarietiesvariety of Heyting algebras with regular involution

Mathematics Subject Classification ID

Lattice ideals, congruence relations (06B10) Varieties of lattices (06B20) Heyting algebras (lattice-theoretic aspects) (06D20) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Lattices of varieties (08B15)

Cites work

• Algebras Whose Congruence Lattices are Distributive.
• Equational Bases and Nonmodular Lattice Varieties
• Equational compactness in quasi-primal varieties
• Fuzzy propositional logic. Algebraic approach
• scientific article; zbMATH DE number 3650525 (Why is no real title available?)
• scientific article; zbMATH DE number 3628771 (Why is no real title available?)
• scientific article; zbMATH DE number 3366941 (Why is no real title available?)
• Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
• The number of subdirectly irreducible algebras in a variety
• The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation

Cited in

(2)

• Universal algebras
• Expansions of semi-Heyting algebras. I: Discriminator varieties

This page was built for publication: A discriminator variety of Heyting algebras with involution

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