Frontal operators in weak Heyting algebras (Q454367): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q634748 |
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