Publication:3973062

zbMath0746.06005MaRDI QIDQ3973062

V. Yu. Meskhi

Publication date: 26 June 1992

zbMATH Keywords

pseudocomplementationsubdirectly irreducible algebrapretabular varietiesregular involutionHeyting algebra with an involution

Mathematics Subject Classification ID

06D20: Heyting algebras (lattice-theoretic aspects)

06B20: Varieties of lattices

08B26: Subdirect products and subdirect irreducibility

03B20: Subsystems of classical logic (including intuitionistic logic)