A discriminator variety of Heyting algebras with involution
type: Item
instance of: scholarly article
title: A discriminator variety of Heyting algebras with involution
zbMATH Open document ID: 0521.06013
DOI: 10.1007/BF02027229
author: V. Yu. Meskhi
published in: Algebra and Logic
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 06B10
Mathematics Subject Classification ID: 08B15
Mathematics Subject Classification ID: 06D30
Mathematics Subject Classification ID: 06B20
zbMATH DE Number: 3823872
zbMATH Keywords: variety of Heyting algebras with regular involution
zbMATH Keywords: pseudo- complementation
zbMATH Keywords: special filters
zbMATH Keywords: discriminator variety
zbMATH Keywords: definable principal congruences
zbMATH Keywords: congruence extension property
zbMATH Keywords: subdirectly irreducible
zbMATH Keywords: subvarieties
MaRDI profile type: Publication
cites work: Algebras Whose Congruence Lattices are Distributive.
cites work: Fuzzy propositional logic. Algebraic approach
cites work: Q5639727
cites work: Equational compactness in quasi-primal varieties
cites work: Equational Bases and Nonmodular Lattice Varieties
cites work: Q3208624
cites work: The number of subdirectly irreducible algebras in a variety
cites work: Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
cites work: The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
cites work: Q4190483
description: scientific article; zbMATH DE number 3823872