A discriminator variety of Heyting algebras with involution

DOI10.1007/BF02027229zbMath0521.06013MaRDI QIDQ1055458

V. Yu. Meskhi

Publication date: 1983

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

zbMATH Keywords

discriminator varietysubvarietiescongruence extension propertysubdirectly irreducibledefinable principal congruencespseudo- complementationspecial filtersvariety of Heyting algebras with regular involution

Mathematics Subject Classification ID

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

Related Items (2)

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

Cites Work

• The number of subdirectly irreducible algebras in a variety
• Fuzzy propositional logic. Algebraic approach
• Equational compactness in quasi-primal varieties
• Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
• Algebras Whose Congruence Lattices are Distributive.
• The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
• Equational Bases and Nonmodular Lattice Varieties
• Unnamed Item
• Unnamed Item
• Unnamed Item

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