JID:FSS AID:6965 /SCO
[m3SC+; v1.221; Prn:29/12/2015; 13:29] P.1 (1-8)
Available online at www.sciencedirect.com
ScienceDirect
1
1
2
2
3
3
Fuzzy Sets and Systems ••• (••••) •••–•••
4
www.elsevier.com/locate/fss
5
5
Short Communication
6 7
General coupled semirings of residuated lattices
8
4
6
✩
9
7 8 9
10
Ivan Chajda a , Helmut Länger b,∗
11 12 13
a Palacký University Olomouc, Faculty of Science, Department of Algebra and Geometry, 17. listopadu 12, 77146 Olomouc, Czech Republic b TU Wien, Faculty of Mathematics and Geoinformation, Institute of Discrete Mathematics and Geometry, Wiedner Hauptstraße 8-10, 1040
14
Vienna, Austria
15
Received 7 March 2014; received in revised form 19 October 2015; accepted 14 December 2015
10 11 12 13 14 15
16
16
17
17
18
18
19 20 21 22 23
19
Abstract Di Nola and Gerla showed that MV-algebras and coupled semirings are in a natural one-to-one correspondence. We generalize this correspondence to residuated lattices satisfying the double negation law. © 2015 Published by Elsevier B.V.
24
31 32 33 34 35 36 37 38 39 40 41 42 43
46 47 48 49 50 51 52
26
28
It was shown by Di Nola and Gerla [6,7] that to every MV-algebra there can be assigned a so-called coupled semiring which bears all the information on that MV-algebra, i.e., the latter can be recovered by its assigned coupled semiring. This fact inspired us to modify the concept of a coupled semiring in order to get a similar representation for commutative basic algebras [4] or for general basic algebras [5]. Every MV-algebra is indeed a residuated lattice satisfying the double negation law, the prelinearity and the divisibility condition (see [2] for details). Hence we try to find a representation by means of some sort of coupled semirings also for the more general class of residuated lattices. In fact, we are successful in the case where the double negation law is assumed. This shows that the construction of a coupled semiring from [6] and [7] is quite general and it can be applied in the fairly general case of residuated lattices satisfying the double negation law. For similar categorical considerations see [1]. Finally, we want to stress the importance of semirings treated in the paper in applications and in the context of tropical geometry, see e.g. [10]. We start with the definition of a residuated lattice.
44 45
23
27
28
30
22
25
Keywords: Residuated lattice; Double negation law; Semiring; General coupled semiring
27
29
21
24
25 26
20
29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44
✩
Support of the research of both authors by the bilateral project “New perspectives on residuated posets”, supported by the Austrian Science ˇ Fund (FWF), project I 1923-N25, and the Czech Science Foundation (GACR), project 15-34697L, as well as by the project “Ordered structures for algebraic logic”, supported by AKTION Austria–Czech Republic, project 71p3, is gratefully acknowledged. * Tel.: +4315880110412, fax: +4315880110499. E-mail addresses:
[email protected] (I. Chajda),
[email protected] (H. Länger). http://dx.doi.org/10.1016/j.fss.2015.12.009 0165-0114/© 2015 Published by Elsevier B.V.
45 46 47 48 49 50 51 52
JID:FSS AID:6965 /SCO
[m3SC+; v1.221; Prn:29/12/2015; 13:29] P.2 (1-8)
I. Chajda, H. Länger / Fuzzy Sets and Systems ••• (••••) •••–•••
2
1 2
Definition 1. A residuated lattice is an algebra L = (L, ∨, ∧, ⊗, →, 0, 1) of type (2, 2, 2, 2, 0, 0) satisfying the following axioms for all x, y, z ∈ L:
3 4 5 6
4 5 6 7
Remark 2. Condition (iii) is called the adjointness property.
8
9 10 11
9
As a source for elementary properties of residuated lattices see the monograph by Bˇelohlávek [2]. We will work with residuated lattices having one more property.
12 13
Definition 3. Let L = (L, ∨, ∧, ⊗, →, 0, 1) be a residuated lattice. On L we define two further operations as follows:
18
21
16
x ⊕ y := ¬(¬x ⊗ ¬y)
17
for all x, y ∈ L. Further, we say that L satisfies the double negation law if ¬¬x = x for all x ∈ L.
18 19
If (L, ∨, ∧, ⊗, →, 0, 1) is a residuated lattice satisfying the double negation law then (L, ⊕, ¬, 0) need not be an MV-algebra. This can be seen from the following example:
22 23
13
15
19 20
11
14
¬x := x → 0 and
15
17
10
12
14
16
2 3
(i) (L, ∨, ∧, 0, 1) is a bounded lattice. (ii) (L, ⊗, 1) is a commutative monoid. (iii) x ≤ y → z if and only if x ⊗ y ≤ z
7 8
1
20 21 22
Example 4. (Cf. [11].) If (L, ∨, ∧, 0, 1) denotes the bounded lattice given by the following Hasse diagram:
24
23 24
25
25
1 s
26
26
27
27
28
28
s d @ @
29 30 31 32
b s @ @ @
33 34 35 36
29 30
@ @s c
31 32 33 34 35
@s a
36
37
37
38
38
s 0
39 40
39 40
41 42 43 44 45 46 47 48 49 50 51 52
41 42
and we define binary operations ⊗ and → on L as follows: ⊗ 0 a b c d 1 then we have
0 0 0 0 0 0 0
a 0 0 0 0 0 a
b 0 0 b 0 b b
c d 0 0 0 0 0 b c c c d c d
1 0 a b c d 1
→ 0 a b c d 1
0 1 d c b a 0
a 1 1 c b a a
b 1 1 1 b b b
43
c d 1 1 1 1 c 1 1 1 c 1 c d
1 1 1 1 1 1 1
44 45 46 47 48 49 50 51 52
JID:FSS AID:6965 /SCO
[m3SC+; v1.221; Prn:29/12/2015; 13:29] P.3 (1-8)
I. Chajda, H. Länger / Fuzzy Sets and Systems ••• (••••) •••–••• 1 2 3
x ¬x
4 5
0 1
a d
b c
c b
d a
1 0
6 7 8 9 10 11 12 13 14 15
18 19 20 21 22 23 24 25 26 27 28 29
0 0 a b c d 1
a a a b c 1 1
b b b b 1 1 1
c c c c c 1 1
d d 1 1 1 1 1
1 1 1 1 1 1 1
and (L, ∨, ∧, ⊗, →, 0, 1) is a residuated lattice satisfying the double negation law which is neither prelinear nor divisible and hence not an MV-algebra. The following properties of residuated lattices are well-known (cf. Theorems 2.17, 2.25, 2.27, 2.30 and 2.40 of [2]). Lemma 5. Let L = (L, ∨, ∧, ⊗, →, 0, 1) be a residuated lattice and a, b, c ∈ L. Then the following hold:
16 17
⊕ 0 a b c d 1
3
(i) (ii) (iii) (iv) (v) (vi) (vii) (viii) (ix)
a ≤ b if and only if a → b = 1, a → 1 = 1, a ⊗ 0 = 0, a ⊗ (b ∨ c) = (a ⊗ b) ∨ (a ⊗ c), a → b = ((a → b) → b) → b, ¬¬¬a = ¬a, ¬0 = 1, ¬1 = 0 and ¬(a ∨ b) = ¬a ∧ ¬b.
If, moreover, L satisfies the double negation law then (x) a → b = ¬(a ⊗ ¬b).
30 31
34
37 38
41
44
47 48
51 52
7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
31
33 34
36 37 38
40 41
43 44 45
(i) (S, +, 0) and (S, ·, 1) are commutative monoids. (ii) x(y + z) = xy + xz (iii) x0 = 0
49 50
6
42
Definition 7. A commutative semiring is an algebra S = (S, +, ·, 0, 1) of type (2, 2, 0, 0) satisfying the following conditions for all x, y, z ∈ S:
45 46
5
39
A further concept we need is that of a commutative semiring. Since within the literature there exist different definitions of this concept we present the definition taken from [8] or [9].
42 43
4
35
(i) a ⊗ b = ¬(¬a ⊕ ¬b), (ii) ¬(a ∧ b) = ¬a ∨ ¬b and (iii) a → b = ¬a ⊕ b.
39 40
3
32
Lemma 6. Let L = (L, ∨, ∧, ⊗, →, 0, 1) be a residuated lattice satisfying the double negation law and a, b, c ∈ L. Then the following hold:
35 36
2
30
The following lemma is straightforward.
32 33
1
46 47 48 49
In [6] and [7] MV-algebras are represented by certain coupled semirings. In [4] we used so-called coupled near semirings in order to represent commutative basic algebras. In [5] we did the same job with coupled right near semirings for basic algebras. In order to represent residuated lattices we define the following notion:
50 51 52
JID:FSS AID:6965 /SCO
1
Definition 8. A general coupled semiring is an ordered triple
2
((A, ∨, ·, 0, 1), (A, ∧, ∗, 1, 0), α)
3 4
[m3SC+; v1.221; Prn:29/12/2015; 13:29] P.4 (1-8)
I. Chajda, H. Länger / Fuzzy Sets and Systems ••• (••••) •••–•••
4
satisfying the following conditions for all x, y ∈ A:
5 6 7 8 9 10
(A, ∨, ·, 0, 1) and (A, ∧, ∗, 1, 0) are commutative semirings. (A, ∨, ∧) is a lattice. α is an isomorphism from (A, ∨, ·, 0, 1) to (A, ∧, ∗, 1, 0). α(α(x)) = x x ≤ y if and only if α(x) ∗ y = 1
15 16 17
20 21 22 23
C(L) := ((L, ∨, ⊗, 0, 1), (L, ∧, ⊕, 1, 0), ¬) is a general coupled semiring.
a≤b
25
a→b=1
27 28 29 30 31 32 33 34 35 36 37 38 39 40 41
44 45 46 47 48 49 50 51 52
7 8 9 10
12
14 15 16 17
19 20 21 22 23 24 25
¬a ⊕ b = 1
26
Summing up, C(L) is a general coupled semiring. 2 Remark 10. Hence, (L, ∧, ⊕, 1, 0) is the so-called min-plus semiring, thus if L = R ∪ {∞} then (L, ∧, ⊕) is nothing else than a tropical semiring, see e.g. [10]. If the residuated lattice L = (L, ∨, ∧, ⊗, →, 0, 1) is an MV-algebra then the general coupled semiring C(L) coincides with that introduced in [6] and [7]. Now we are going to prove the converse. Theorem 11. Let C = ((A, ∨, ·, 0, 1), (A, ∧, ∗, 1, 0), α) be a general coupled semiring and define x → y := α(x) ∗ y for all x, y ∈ A. Then L(C) := (A, ∨, ∧, ·, →, 0, 1)
42 43
6
18
Proof. Let a, b ∈ L. According to Definition 1, (L, ∨, ∧) is a lattice. Because of Definition 1 and Lemma 5, (L, ∨, ⊗, 0, 1) is a commutative semiring. According to Lemmata 5 and 6, ¬ is an involutory isomorphism from (L, ∨, ⊗, 0, 1) to (L, ∧, ⊕, 1, 0) and the latter therefore a commutative semiring, too. Finally, because of Lemmata 5 and 6 the following are equivalent:
24
26
4
13
Theorem 9. Let L = (L, ∨, ∧, ⊗, →, 0, 1) be a residuated lattice satisfying the double negation law. Then
18 19
3
11
We are now able to formulate and prove our first theorem.
13 14
2
5
(i) (ii) (iii) (iv) (v)
11 12
1
27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42
is a residuated lattice satisfying the double negation law. Proof. Let a, b, c ∈ A. According to Definition 8, (A, ∨, ∧) is a lattice. Since 0 is the neutral element with respect to ∨, it is the least element of this lattice. Analogously, it follows that 1 is the greatest element of this lattice. Moreover, (A, ·, 1) is a commutative monoid. In order to prove that L(C) is a residuated lattice we have to check the adjointness property. Now according to Definition 8 the following statements are equivalent: ab ≤ c α(ab) ∗ c = 1 (α(a) ∗ α(b)) ∗ c = 1
43 44 45 46 47 48 49 50 51 52
JID:FSS AID:6965 /SCO
[m3SC+; v1.221; Prn:29/12/2015; 13:29] P.5 (1-8)
I. Chajda, H. Länger / Fuzzy Sets and Systems ••• (••••) •••–•••
α(a) ∗ (α(b) ∗ c) = 1
1 2
2 3
a ≤ b → c.
4
4
Thus L(C) is a residuated lattice. It remains to check the double negation law. Now we have
6
7 8
and hence
9
¬¬a = α(α(a)) = a.
10
9
2
10
11 12 13
11
Finally, we prove that the above correspondence between residuated lattices satisfying the double negation law and general coupled semirings is one-to-one.
14 15 16
19
a ⊕ b = ¬(¬a · ¬b) = α(α(a)α(b)) = α(α(a)) ∗ α(α(b)) = a ∗ b.
26
((A, ∨, ·, 0, 1), (B, ∧, ∗, 1, 0), α)
34
satisfying the following conditions for all x, y ∈ B:
36 37 38 39 40 41 42
45 46 47 48 49
(A, ∨, ·, 0, 1) and (B, ∧, ∗, 1, 0) are commutative semirings and B ⊆ A. (A, ∨, ∧) a lattice. α is a homomorphism from (A, ∨, ·, 0, 1) onto (B, ∧, ∗, 1, 0). α|B is a homomorphism from (B, ∧, ∗, 1, 0) to (A, ∨, ·, 0, 1). α(α(x)) = x x ≤ y if and only if α(x) ∗ y = 1
52
28 29 30
32 33 34 35
37 38 39 40 41 42 43
Remark 15. Let L = (L, ∨, ∧, ⊗, →, 0, 1) be a residuated lattice. Put ¬L := {¬x | x ∈ L}. Because of (vi) of Lemma 5, ¬L = {x ∈ L | ¬¬x = x}. It is well-known that ¬L need not be a subuniverse of L if the double negation law is not assumed. It should be noted that there exists a subuniverse A of L with the property that ¬A is a subuniverse of L, too, namely A = {0, 1}.
50 51
26
36
(i) (ii) (iii) (iv) (v) (vi)
43 44
23
31
Definition 14. A tied semiring is an ordered triple
33
35
21
27
In what follows, we are going to extend our investigation concerning the mutual relationship between residuated lattices satisfying the double negation law and semirings to the general case where no double negation law is assumed. As before, we will denote by ≤ the induced order of a residuated lattice.
31 32
19
25
2
27
30
18
24
¬a = a → 0 = α(a) ∗ 0 = α(a) and
25
29
16
22
Proof. If L(C) = (A, ∨, ∧, ·, →, 0, 1), C(L(C)) = ((A, ∨, ·, 0, 1), (A, ∧, ⊕, 1, 0), ¬) and a, b ∈ A then
24
28
15
20
Theorem 13. Let C = ((A, ∨, ·, 0, 1), (A, ∧, ∗, 1, 0), α) be a general coupled semiring. Then C(L(C)) = C.
22 23
13
17
Proof. If C(L) = ((L, ∨, ⊗, 0, 1), (L, ∧, ⊕, 1, 0), ¬) and L(C(L)) = (L, ∨, ∧, ⊗, ⇒, 0, 1) and a, b ∈ L then a ⇒ b = ¬a ⊕ b = a → b according to Lemma 6. 2
20 21
12
14
Theorem 12. Let L = (L, ∨, ∧, ⊗, →, 0, 1) be a residuated lattice satisfying the double negation law. Then L(C(L)) = L.
17 18
5 6
¬a = a → 0 = α(a) ∗ 0 = α(a)
7 8
1
a ≤ α(b) ∗ c
3
5
5
44 45 46 47 48 49 50
The connection between residuated lattices not necessarily satisfying the double negation law and tied semirings is as follows:
51 52
JID:FSS AID:6965 /SCO
[m3SC+; v1.221; Prn:29/12/2015; 13:29] P.6 (1-8)
I. Chajda, H. Länger / Fuzzy Sets and Systems ••• (••••) •••–•••
6
1 2
Theorem 16. Let L = (L, ∨, ∧, ⊗, →, 0, 1) be a residuated lattice and assume A to be a subuniverse of L such that ¬A := {¬x | x ∈ A} is a subuniverse of L, too. Moreover, assume that the following condition holds:
3 4
7 8 9
4 5
Then
6
Y(L, A) := ((A, ∨, ⊗, 0, 1), (¬A, ∧, ⊕, 1, 0), ¬)
12 13 14 15 16 17 18
Proof. Let a, b ∈ A and c, d ∈ ¬A. Since A is a subuniverse of L, (A, ∨, ⊗, 0, 1) is a commutative semiring according to Definition 1 and Lemma 5. Since ¬A and A are subuniverses of L and (i) holds, we have that ¬A is a subuniverse of (L, ∧, ⊕, 1, 0), too. Moreover, ¬A = {x → 0 | x ∈ A} ⊆ A.
20
¬(a ⊗ b) = ¬a ⊕ ¬b.
23 24 25 26
13 14
16 17
19 20 21 22 23 24 25 26 27
c≤d
28
12
18
Hence, ¬ is a homomorphism from (A, ∨, ⊗, 0, 1) onto (¬A, ∧, ⊕, 1, 0) and therefore the latter is a commutative semiring, too. Since ¬A is a subuniverse of L, (¬A, ∨, ∧, ⊗, →, 0, 1) is a residuated lattice satisfying the double negation law. Hence because of ¬¬A ⊆ A and Lemma 6, ¬|(¬A) is a homomorphism from (¬A, ∧, ⊕, 1, 0) to (A, ∨, ⊗, 0, 1). Since c ∈ ¬A we have that ¬¬c = c because of Lemma 5. Finally, since (¬A, ∨, ∧, ⊗, →, 0, 1) is a residuated lattice satisfying the double negation law, the following are equivalent:
27
11
15
Since A is a subuniverse of L, (A, ∨, ∧) is a lattice. Now, according to Lemma 5 and (i) we have ¬(a ∨ b) = ¬a ∧ ¬b and
22
8
10
19
21
7
9
is a tied semiring.
10 11
2 3
(i) ¬(x ⊗ y) = ¬x ⊕ ¬y for all x, y ∈ A.
5 6
1
28
29
c→d =1
29
30
¬c ⊕ d = 1
30
31 32
31
Summing up, Y(L, A) is a tied semiring.
2
32
33 34 35 36 37 38 39 40 41 42
33
Example 17. Let (A, ≤) with A = {0, a, 1} and 0 < a < 1 be a three-element chain and define a binary operation → on A by → 0 a 1
a 1 1 a
1 1 1 1
45
0 a 1 0
46 47 48 49 50 51 52
37 38 39 40
It is easy to see that L = (A, ∨, ∧, ∧, →, 0, 1) is a residuated lattice with x ¬x
35 36
0 1 0 0
43 44
34
1 0
⊕ 0 a 1
0 0 1 1
a 1 1 1
1 1 1 1
Hence, L does not satisfy the double negation law. Put B := ¬A = {0, 1}. Then B is a subuniverse of L and ⊕|B = ∨|B. Moreover, (i) of Theorem 16 holds. According to Theorem 16, Y(L, A) = ((A, ∨, ∧, 0, 1), (B, ∧, ∨, 1, 0), ¬) is a tied semiring.
41 42 43 44 45 46 47 48 49 50 51 52
JID:FSS AID:6965 /SCO
[m3SC+; v1.221; Prn:29/12/2015; 13:29] P.7 (1-8)
I. Chajda, H. Länger / Fuzzy Sets and Systems ••• (••••) •••–••• 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
7
Example 18. Let L1 = (L, ⊕, ¬, 0) denote the basic algebra with L = {0, a, ¬a, b, ¬b, 1} and ⊕ 0 a ¬a b ¬b 1
0 a 0 a a a ¬a 1 b ¬b ¬b ¬b 1 1
2
¬a b ¬b 1 ¬a b ¬b 1 1 ¬b ¬b 1 ¬a ¬a 1 1 ¬a ¬a 1 1 1 1 1 1 1 1 1 1
3 4
0 1
x ¬x
a ¬a
¬a a
b ¬b
¬b b
1 0
0 a 0 a a a ¬a 1 b ¬b ¬b ¬b 1 1
¬a b ¬b ¬a b ¬b 1 ¬b ¬b ¬a ¬a 1 ¬a b ¬b 1 ¬b ¬b 1 1 1
⊗ 0 a ¬a b ¬b 1
0 a ¬a b ¬b 1 0 0 0 0 0 0 0 a 0 0 a a 0 0 ¬a b b ¬a 0 0 b 0 0 b 0 a b 0 a ¬b 0 a ¬a b ¬b 1
22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
6
8 9
∧ 0 a ¬a b ¬b 1
1 1 1 1 1 1 1
0 a ¬a 0 0 0 0 a 0 0 0 ¬a 0 0 b 0 a b 0 a ¬a
b ¬b 1 0 0 0 0 a a b b ¬a b b b b ¬b ¬b b ¬b 1
a ¬a 1 1 1 ¬a a 1 ¬b 1 ¬b ¬a a ¬a
b ¬b 1 1 1 1 ¬a 1 1 ¬b ¬b 1 1 1 1 ¬a 1 1 b ¬b 1
20 21
5
7
According to [3] every finite basic algebra, hence also L1 , can be considered as an MV-algebra L2 = (L, ∨, ∧, ⊗, →, 0, 1) and hence also as a residuated lattice satisfying the double negation law. The operations of L2 are as follows: ∨ 0 a ¬a b ¬b 1
1
10 11 12 13 14 15 16 17 18 19 20
→ 0 a ¬a b ¬b 1
0 1 ¬a a ¬b b 0
Put A := {0, a, ¬a, 1}. Then A is a subuniverse of L2 and so is ¬A = A. Moreover, (i) of Theorem 16 holds. Hence Y(L2 , A) := ((A, ∨, ⊗, 0, 1), (¬A, ∧, ⊕, 1, 0), ¬) is a non-trivial tied semiring. Now we can prove a counterpart of the last theorem. Theorem 19. Let Y = ((A, ∨, ·, 0, 1), (B, ∧, ∗, 1, 0), α) be a tied semiring and define x → y := α(x) ∗ y for all x, y ∈ B. Then A(Y) := (B, ∨, ∧, ·, →, 0, 1)
21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
is a residuated lattice satisfying the double negation law and ¬x = α(x) for all x ∈ B.
41
Proof. Let a, b, c ∈ B. Then
43
a ∨ b = α(α(a)) ∨ α(α(b)) = α(α(a) ∧ α(b)) ∈ B and ab = α(α(a))α(α(b)) = α(α(a) ∗ α(b)) ∈ B. According to Definition 8, (A, ∨, ∧) is a lattice. Since 0 is the neutral element with respect to ∨, it is the least element of this lattice. Analogously, it follows that 1 is the greatest element of this lattice. Hence (A, ∨, ∧, 0, 1) is a bounded lattice with subuniverse B. This shows that (B, ∨, ∧, 0, 1) is a bounded lattice, too. Since (A, ·, 1) is a commutative monoid with subuniverse B we have that (B, ·, 1) is a commutative monoid, too. Moreover, the following are equivalent:
42
44 45 46 47 48 49 50 51 52
JID:FSS AID:6965 /SCO
[m3SC+; v1.221; Prn:29/12/2015; 13:29] P.8 (1-8)
I. Chajda, H. Länger / Fuzzy Sets and Systems ••• (••••) •••–•••
8
ab ≤ c
1 2
3
(α(a) ∗ α(b)) ∗ c = 1
4
4
α(a) ∗ (α(b) ∗ c) = 1
5 6
5
a ≤ α(b) ∗ c
7
a ≤ b → c.
8
¬a = a → 0 = α(a) ∗ 0 = α(a)
11
¬¬a = α(α(a)) = a.
14
2
15 16
19 20 21
24 25
[6] [7] [8]
26 27 28
10 11
13 14
16 17
[1] [2] [3] [4] [5]
22 23
8
15
References
17 18
7
12
and hence
13
6
9
Finally,
10
12
2
α(ab) ∗ c = 1
3
9
1
[9] [10] [11]
L.P. Belluce, A. Di Nola, A.R. Ferraioli, MV-semirings and their sheaf representations, Order 30 (2013) 165–179. R. Bˇelohlávek, Fuzzy Relational Systems: Foundations and Principles, Kluwer, New York, ISBN 0-306-46777-1, 2002. M. Botur, R. Halaš, Finite commutative basic algebras are MV-effect algebras, J. Mult.-Valued Log. Soft Comput. 14 (2008) 69–80. I. Chajda, H. Länger, Commutative basic algebras and coupled near semirings, Soft Comput. 19 (2015) 1129–1134. I. Chajda, H. Länger, A representation of basic algebras by coupled right near semirings, Acta Sci. Math. (Szeged) (2015), submitted for publication. A. Di Nola, B. Gerla, Algebras of Lukasiewicz’s logic and their semiring reducts, Contemp. Math., vol. 377, AMS, Providence, RI, 2005, pp. 131–144. B. Gerla, Many-valued logic and semirings, Neural Netw. World 5 (2003) 467–480. J.S. Golan, The Theory of Semirings with Applications in Mathematics and Theoretical Computer Science, Longman, Harlow, ISBN 0-582-07855-5, 1992. W. Kuich, A. Salomaa, Semirings, Automata, Languages, Springer, Berlin, ISBN 3-540-13716-5, 1986. J.-E. Pin, Tropical Semirings. Idempocy (Bristol, 1994), Publ. Newton Inst., vol. 11, 1998, pp. 50–69. J. Rach˚unek, Z. Svoboda, Interior and closure operators on bounded residuated lattices, Cent. Eur. J. Math. 12 (2014) 534–544.
18 19 20 21 22 23 24 25 26 27 28
29
29
30
30
31
31
32
32
33
33
34
34
35
35
36
36
37
37
38
38
39
39
40
40
41
41
42
42
43
43
44
44
45
45
46
46
47
47
48
48
49
49
50
50
51
51
52
52