scientific article; zbMATH DE number 868087
From MaRDI portal
Publication:4873970
zbMath0846.03033MaRDI QIDQ4873970
Publication date: 16 September 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting algebrasvarietiesfinitely presented algebrasuniversal propertyinterior algebrasdefinable embeddings
Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Free algebras (08B20) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Related Items (4)
Diego's theorem for nuclear implicative semilattices ⋮ Unification, finite duality and projectivity in varieties of Heyting algebras ⋮ On Bellissima's construction of the finitely generated free Heyting algebras, and beyond ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
This page was built for publication:
