scientific article; zbMATH DE number 764335

MaRDI QIDQ4836217zbMATH OpenFDO

Authors

Publication date 28 November 1995

zbMATH Keywords

categorical dualfinitely generated Heyting algebrasKripke modelmonadicprojective

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Free algebras (08B20)

Recommendations

• Finitely generated free Heyting algebras
• Free Heyting algebras: revisited
• Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
• Finitely generated free Heyting algebras: the well-founded initial segment
• Functional monadic Heyting algebras.

Cited in

(12)

• Functional monadic Heyting algebras.
• Projective algebras and primitive subquasivarieties in varieties with factor congruences
• Free Heyting algebras: revisited
• Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
• scientific article; zbMATH DE number 31603 (Why is no real title available?)
• scientific article; zbMATH DE number 1523043 (Why is no real title available?)
• Finitely generated free Heyting algebras
• Admissibility and refutation: some characterisations of intermediate logics
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Finite frames fail: how infinity works its way into the semantics of admissibility
• 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 Q4836217)