An algebraic approach to subframe logics. Intuitionistic case (Q2370373): Difference between revisions

A nucleus on a meet semilattice \(M\) with \(\top\) is a unary operator \(j : M \to M\) satisfying the conditions \(a \leq j(a)\), \(j(j(a)) \leq j(a)\) and \(j(a \wedge b) = j(a) \wedge j(b)\). If \(M\) has the least element \(\bot\), a nucleus \(j\) is called dense if \(j(\bot) = \bot\). In this paper, the authors develop a duality between nuclei on Heyting algebras and certain binary relations on Heyting spaces, and they prove that these binary relations are in 1-1 correspondence with subframes of Heyting spaces. They introduce the notions of nuclear and dense nuclear varieties of Heyting algebras, and prove that a variety of Heyting algebras is nuclear if and only if it is a subframe variety, and that it is dense nuclear if and only if it is a cofinal subframe variety. Finally, they prove that every nuclear and dense nuclear variety of Heyting algebras is generated by its finite members.