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

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q634748
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Sergio Arturo Celani / rank
 
Normal rank

Revision as of 05:50, 20 February 2024

scientific article
Language Label Description Also known as
English
Frontal operators in weak Heyting algebras
scientific article

    Statements

    Frontal operators in weak Heyting algebras (English)
    0 references
    1 October 2012
    0 references
    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.
    0 references
    modal operators
    0 references
    frontal operators
    0 references
    weak Heyting algebras
    0 references
    Priestley duality
    0 references

    Identifiers