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/