Cayley?s and Holland?s Theorems for Idempotent Semirings and Their Applications to Residuated Lattices

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F13%3A00395570" target="_blank" >RIV/67985807:_____/13:00395570 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/s00233-013-9513-8" target="_blank" >http://dx.doi.org/10.1007/s00233-013-9513-8</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s00233-013-9513-8" target="_blank" >10.1007/s00233-013-9513-8</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Cayley?s and Holland?s Theorems for Idempotent Semirings and Their Applications to Residuated Lattices

Popis výsledku v původním jazyce

We extend Cayley?s and Holland?s representation theorems to idempotent semirings and residuated lattices, and provide both functional and relational versions. Our analysis allows for extensions of the results to situations where conditions are imposed onthe order relation of the representing structures. Moreover, we give a new proof of the finite embeddability property for the variety of integral residuated lattices and many of its subvarieties.

Název v anglickém jazyce

Cayley?s and Holland?s Theorems for Idempotent Semirings and Their Applications to Residuated Lattices

Popis výsledku anglicky

We extend Cayley?s and Holland?s representation theorems to idempotent semirings and residuated lattices, and provide both functional and relational versions. Our analysis allows for extensions of the results to situations where conditions are imposed onthe order relation of the representing structures. Moreover, we give a new proof of the finite embeddability property for the variety of integral residuated lattices and many of its subvarieties.

Druh

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

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP202%2F11%2F1632" target="_blank" >GAP202/11/1632: Algebraické metody v teorii důkazů</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2013

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

Semigroup Forum

ISSN

0037-1912

e-ISSN

—

Svazek periodika

87

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

21

Strana od-do

569-589

Kód UT WoS článku

000327253500005

EID výsledku v databázi Scopus

—