An effective representation for finitely generated free interior algebras
From MaRDI portal
Publication:1063013
DOI10.1007/BF01195140zbMath0574.06006MaRDI QIDQ1063013
Publication date: 1985
Published in: Algebra Universalis (Search for Journal in Brave)
representationclosure algebraHeyting algebraKripke modelI-modelfinitely generated free interior algebras
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