The Finite Embeddability Property for Residuated Groupoids

Result code in 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>
Result on the web
<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>

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<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/GAP202%2F11%2F1632" target="_blank" >GAP202/11/1632: Algebraic Methods in Proof Theory</a><br>
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ů

Similar results(10)