scientific article
From MaRDI portal
Publication:3973062
zbMath0746.06005MaRDI QIDQ3973062
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
pseudocomplementationsubdirectly irreducible algebrapretabular varietiesregular involutionHeyting algebra with an involution
Heyting algebras (lattice-theoretic aspects) (06D20) Varieties of lattices (06B20) Subdirect products and subdirect irreducibility (08B26) Subsystems of classical logic (including intuitionistic logic) (03B20)