A representation of residuated lattices satisfying the double negation law
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F18%3A73590052" target="_blank" >RIV/61989592:15310/18:73590052 - isvavai.cz</a>
Result on the web
<a href="https://link.springer.com/article/10.1007%2Fs00500-017-2673-9" target="_blank" >https://link.springer.com/article/10.1007%2Fs00500-017-2673-9</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00500-017-2673-9" target="_blank" >10.1007/s00500-017-2673-9</a>
Alternative languages
Result language
angličtina
Original language name
A representation of residuated lattices satisfying the double negation law
Original language description
Every residuated lattice can be considered as an idempotent semiring and for the finite case, also the converse holds. Unfortunately, it does not hold in general. We show that if an idempotent semiring is equipped with an involution then it can be converted into a residuated lattice
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GF15-34697L" target="_blank" >GF15-34697L: New perspectives on residuated posets</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
SOFT COMPUTING
ISSN
1432-7643
e-ISSN
—
Volume of the periodical
22
Issue of the periodical within the volume
6
Country of publishing house
US - UNITED STATES
Number of pages
4
Pages from-to
1773-1776
UT code for WoS article
000426761200004
EID of the result in the Scopus database
2-s2.0-85020662972