Fragments of the universal theory of algebraic structures — polynomial reductions

0511270 - ÚI 2020 IT eng A - Abstract
Haniková, Zuzana - Moraschini, Tommaso
Fragments of the universal theory of algebraic structures — polynomial reductions.
AsubL (Algebra & Substructural Logics- Take 6). Abstracts. Cagliari, 2018.
[AsubL: Algebra & Substructural Logics /6./. 11.06.2018-13.06.2018, Cagliari]
Institutional support: RVO:67985807
https://sites.unica.it/asubl6/files/2018/05/Zuzana-Hanikova.pdf

The purpose of this note is to establish some reductions, operating in polynomial time, between fragments of the universal theory of a given class K of similar algebras, thus arriving at complexity upper bounds of one fragment in terms of complexity of another fragment. Even if our primary interest is in varieties K of residuated lattices, we formulate the problem in general terms to assess the limitations of this method. Parts of the material are generalizations of results already appearing in literature.
Permanent Link: http://hdl.handle.net/11104/0301590