The Finite Embeddability Property for Residuated Groupoids

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F14%3A00429087" target="_blank" >RIV/67985807:_____/14:00429087 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/s00012-014-0284-1" target="_blank" >http://dx.doi.org/10.1007/s00012-014-0284-1</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s00012-014-0284-1" target="_blank" >10.1007/s00012-014-0284-1</a>

Jazyk výsledku

angličtina

Název v původním jazyce

The Finite Embeddability Property for Residuated Groupoids

Popis výsledku v původním jazyce

A very simple proof of the finite embeddability property for residuated distributive-lattice-ordered groupoids and some related classes of structures is presented. In particular, this gives an answer to the question, posed by Blok and van Alten, whetherthe class of residuated ordered groupoids has the property. The presented construction improves the computational-complexity upper bound of the universal theory of residuated distributive-lattice-ordered groupoids given by Buszkowski and Farulewski; forchains in the class, a tight bound is obtained

Název v anglickém jazyce

The Finite Embeddability Property for Residuated Groupoids

Popis výsledku anglicky

A very simple proof of the finite embeddability property for residuated distributive-lattice-ordered groupoids and some related classes of structures is presented. In particular, this gives an answer to the question, posed by Blok and van Alten, whetherthe class of residuated ordered groupoids has the property. The presented construction improves the computational-complexity upper bound of the universal theory of residuated distributive-lattice-ordered groupoids given by Buszkowski and Farulewski; forchains in the class, a tight bound is obtained

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

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2014

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

Algebra Universalis

ISSN

0002-5240

e-ISSN

—

Svazek periodika

72

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

CH - Švýcarská konfederace

Počet stran výsledku

13

Strana od-do

1-13

Kód UT WoS článku

000341908000001

EID výsledku v databázi Scopus

—