Frontal operators in weak Heyting algebras (Q454367): Difference between revisions

Weak Heyting algebras and frontal Heyting algebras are important algebras of nonclassical logic. A frontal weak Heyting algebra is a generalization of frontal Heyting algebras, consisting of a weak Heyting algebra endowed with a frontal operator. The authors introduce the class of frontal weak Heyting algebras and give for it a representation and a Priestley duality, based on frontal WH-spaces, which they define to be a certain kind of WH-spaces with an additional binary relation, that translates the modal operator into the algebraic framework. They also point out two remarkable subclasses of it, for each of which they give two isomorphic representations and two topological dualities, one based on the representation they have given for frontal weak Heyting algebras and the other one based on some particular classes of WH-spaces.