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

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s11225-012-9390-2 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Basic Propositional Calculus I / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algebraic approach to intuitionistic connectives / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3086535 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3086536 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A closer look at some subintuitionistic logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounded distributive lattices with strict implication / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simple and subdirectly irreducibles bounded distributive lattices with unary operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Remarks on Priestley duality for distributive lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics Which Are Characterized by Subresiduated Lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4049062 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3735758 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Varieties of complex algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3743301 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On superintuitionistic logics as fragments of proof logic extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5445172 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representation of Distributive Lattices by means of ordered Stone Spaces / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S11225-012-9390-2 / rank
 
Normal rank

Latest revision as of 18:06, 9 December 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