An effective representation for finitely generated free interior algebras

DOI10.1007/BF01195140zbMath0574.06006MaRDI QIDQ1063013

Fabio Bellissima

Publication date: 1985

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

zbMATH Keywords

representationclosure algebraHeyting algebraKripke modelI-modelfinitely generated free interior algebras

Mathematics Subject Classification ID

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

Related Items

An algebraic theory of normal forms ⋮ Canonical formulas for K4. Part III: the finite model property ⋮ FORMULAS IN MODAL LOGIC S4 ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

Cites Work

• The algebra of topology
• On closed elements in closure algebras
• The lattice of modal logics: an algebraic investigation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item