scientific article; zbMATH DE number 868087

MaRDI QIDQ4873970zbMATH OpenFDO

Authors Silvio Ghilardi

Publication date 16 September 1996

zbMATH Keywords

definable embeddingsfinitely presented algebrasHeyting algebrasinterior algebrasuniversal propertyvarieties

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Free algebras (08B20)

Recommendations

• scientific article; zbMATH DE number 1069963
• Finitely generated relatively universal varieties of Heyting algebras
• Subdirectly irreducible quasi-modal algebras
• Quasivarieties with definable relative principal subcongruences

Cited in

(4)

• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
• 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

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 Q4873970)