Publication:3973062
From MaRDI portal
zbMath0746.06005MaRDI QIDQ3973062
Publication date: 26 June 1992
pseudocomplementationsubdirectly irreducible algebrapretabular varietiesregular involutionHeyting algebra with an involution
06D20: Heyting algebras (lattice-theoretic aspects)
06B20: Varieties of lattices
08B26: Subdirect products and subdirect irreducibility
03B20: Subsystems of classical logic (including intuitionistic logic)