Residuated Structures Derived from Commutative Idempotent Semirings
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 re...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2019-06-01
|
| Series: | Discussiones Mathematicae - General Algebra and Applications |
| Subjects: | |
| Online Access: | https://doi.org/10.7151/dmgaa.1300 |