scientific article; zbMATH DE number 16408

MaRDI QIDQ3973062zbMATH OpenFDO

Authors V. Yu. Meskhi

Publication date 26 June 1992

zbMATH Keywords

pseudocomplementationsubdirectly irreducible algebrapretabular varietiesregular involutionHeyting algebra with an involution

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Subdirect products and subdirect irreducibility (08B26) Varieties of lattices (06B20) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• scientific article; zbMATH DE number 854348
• A note on interpretations of Heyting algebras
• Some remarks on Hecke algebras
• scientific article; zbMATH DE number 4083838
• On derivations of algebras with involution
• A representation theorem for algebras with involution
• On invertible \(\{2,3\}\)-algebras
• scientific article; zbMATH DE number 860121
• On codimensions of algebras with involution
• A representation theorem for algebras with commuting involutions

Cited in

(1)

• De Morgan Heyting algebras satisfying the identityx^n(′*)≈x^(n+1)(′*)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3973062)