The Finite Embeddability Property for Residuated Groupoids

Result code in IS VaVaI

RIV/67985807:_____/14:00429087 - isvavai.cz

Result on the web

http://dx.doi.org/10.1007/s00012-014-0284-1

DOI - Digital Object Identifier

10.1007/s00012-014-0284-1

Result language

angličtina

Original language name

The Finite Embeddability Property for Residuated Groupoids

Original language description

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

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

GAP202/11/1632: Algebraic Methods in Proof Theory

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2014

Confidentiality

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

Name of the periodical

Algebra Universalis

ISSN

0002-5240

e-ISSN

—

Volume of the periodical

72

Issue of the periodical within the volume

1

Country of publishing house

CH - SWITZERLAND

Number of pages

13

Pages from-to

1-13

UT code for WoS article

000341908000001

EID of the result in the Scopus database

—