An effective representation for finitely generated free interior algebras

DOI10.1007/BF01195140zbMATH Open0574.06006MaRDI QIDQ1063013FDOQ1063013

Authors: Fabio Bellissima 

Publication date: 1985

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

Recommendations

• scientific article; zbMATH DE number 227233
• Free algebras in the variety of three-valued closure algebras
• Finitely generated free Heyting algebras
• Representable pseudo-interior algebras
• On Bellissima's construction of the finitely generated free Heyting algebras, and beyond

zbMATH Keywords

representationHeyting algebraKripke modelclosure algebraI-modelfinitely generated free interior algebras

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Other algebras related to logic (03G25) Representation theory of lattices (06B15) Free lattices, projective lattices, word problems (06B25) Heyting algebras (lattice-theoretic aspects) (06D20)

Cites Work

• Title not available (Why is that?)
• On closed elements in closure algebras
• Title not available (Why is that?)
• The algebra of topology
• The lattice of modal logics: an algebraic investigation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Title not available (Why is that?)
• Generically free representations. III: Extremely bad characteristic
• An algebraic theory of normal forms
• Formulas in modal logic S4
• Canonical formulas for K4. Part III: the finite model property

This page was built for publication: An effective representation for finitely generated free interior algebras

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