Locally finite varieties of Heyting algebras

DOI10.1007/s00012-005-1958-5zbMath1094.06009OpenAlexW1995734546MaRDI QIDQ818713

Revaz Grigolia, Guram Bezhanishvili

Publication date: 21 March 2006

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-005-1958-5

zbMATH Keywords

coproductsHeyting algebraslocally finite varieties

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Intermediate logics (03B55)

Related Items (9)

The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond ⋮ Profinite completions and canonical extensions of Heyting algebras ⋮ On finitely-generated Johansson algebras ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Natural extensions and profinite completions of algebras ⋮ Coproducts of distributive lattice-based algebras. ⋮ Codimension and pseudometric in co-Heyting algebras ⋮ Frame based formulas for intermediate logics

This page was built for publication: Locally finite varieties of Heyting algebras