On state residuated lattices (Q521705): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claims
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Peng Fei He / rank
 
Normal rank
Property / author
 
Property / author: Xiao Long Xin / rank
 
Normal rank

Revision as of 21:38, 12 February 2024

scientific article
Language Label Description Also known as
English
On state residuated lattices
scientific article

    Statements

    On state residuated lattices (English)
    0 references
    0 references
    0 references
    0 references
    11 April 2017
    0 references
    The authors have adapted the notion of state operator to residuated lattices, and describe elementeray properties of these operators, state residuated lattices, and state filters on them. State filters are studied more thoroughly. It is shown that state filters of a state residuated lattice \((L,\tau)\) with a state operator \(\tau\) form a coherent frame, where the principal state filters are just the compact elements. Given a state filter \(F\) and a nonemty subset \(X\) of \(L\), the co-annihilator of \(X\) relatively to \(F\) is defined to be the subset \(\{a \in L: \tau(a) \vee x \in F\) for all \(x \in X\}\); it is always a state filter including \(F\). With \(\tau\) the identity map of \(L\), the co-annihilator of a filter \(G\) of \(L\) relatively to \(F\) is the relative pseudocomplement of \(G\) in the lattice of filters of \(L\).
    0 references
    co-annihilator
    0 references
    frame
    0 references
    residuated lattice
    0 references
    state filter
    0 references
    state operator
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references