On state residuated lattices (Q521705): Difference between revisions
From MaRDI portal
Removed claims |
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
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