Residuated Structures Derived from Commutative Idempotent Semirings
Discussiones Mathematicae. General Algebra and Applications, Tome 39 (2019) no. 1, pp. 23-33

Voir la notice de l'article provenant de la source Library of Science

Since the reduct of every residuated lattice is a semiring, we can ask under what condition a semiring can be converted into a residuated lattice. It turns out that this is possible if the semiring in question is commutative, idempotent, G-simple and equipped with an antitone involution. Then the resulting residuated lattice even satisfies the double negation law. Moreover, if the mentioned semiring is finite then it can be converted into a residuated lattice or join-semilattice also without asking an antitone involution on it. To a residuated lattice L which does not satisfy the double negation law there can be assigned a so-called augmented semiring. This can be used for reconstruction of the so-called core C(L) of L. Conditions under which C(L) constitutes a subuniverse of L are provided.
Keywords: semiring, commutative, idempotent, G-simple, antitone involution, commutative residuated lattice, commutative residuated join-semilattice, divisible, prelinear, double negation law
@article{DMGAA_2019_39_1_a1,
     author = {Chajda, Ivan and L\"anger, Helmut},
     title = {Residuated {Structures} {Derived} from {Commutative} {Idempotent} {Semirings}},
     journal = {Discussiones Mathematicae. General Algebra and Applications},
     pages = {23--33},
     publisher = {mathdoc},
     volume = {39},
     number = {1},
     year = {2019},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DMGAA_2019_39_1_a1/}
}
TY  - JOUR
AU  - Chajda, Ivan
AU  - Länger, Helmut
TI  - Residuated Structures Derived from Commutative Idempotent Semirings
JO  - Discussiones Mathematicae. General Algebra and Applications
PY  - 2019
SP  - 23
EP  - 33
VL  - 39
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DMGAA_2019_39_1_a1/
LA  - en
ID  - DMGAA_2019_39_1_a1
ER  - 
%0 Journal Article
%A Chajda, Ivan
%A Länger, Helmut
%T Residuated Structures Derived from Commutative Idempotent Semirings
%J Discussiones Mathematicae. General Algebra and Applications
%D 2019
%P 23-33
%V 39
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DMGAA_2019_39_1_a1/
%G en
%F DMGAA_2019_39_1_a1
Chajda, Ivan; Länger, Helmut. Residuated Structures Derived from Commutative Idempotent Semirings. Discussiones Mathematicae. General Algebra and Applications, Tome 39 (2019) no. 1, pp. 23-33. http://geodesic.mathdoc.fr/item/DMGAA_2019_39_1_a1/