When does a semiring become a residuated lattice?

Kód výsledku v IS VaVaI

RIV/61989592:15310/16:33160707 - isvavai.cz

Výsledek na webu

http://dx.doi.org/10.1142/S1793557116500881

DOI - Digital Object Identifier

10.1142/S1793557116500881

Jazyk výsledku

angličtina

Název v původním jazyce

When does a semiring become a residuated lattice?

Popis výsledku v původním jazyce

It is easy to show that every residuated lattice can be recognized as a semiring. The question is when a semiring can be organized into a residuated lattice. It is shown that it is possible when the semirirng and hence also the residuated lattice satisfies the double negation law.

Název v anglickém jazyce

When does a semiring become a residuated lattice?

Popis výsledku anglicky

It is easy to show that every residuated lattice can be recognized as a semiring. The question is when a semiring can be organized into a residuated lattice. It is shown that it is possible when the semirirng and hence also the residuated lattice satisfies the double negation law.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

GF15-34697L: Nové přístupy k reziduovaným posetům

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Asian-European Journal of Mathematics

ISSN

1793-5571

e-ISSN

—

Svazek periodika

9

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

SG - Singapurská republika

Počet stran výsledku

10

Strana od-do

1650088-1650098

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—