Number of the records: 1
Fragments of the universal theory of algebraic structures — polynomial reductions
- 1.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
File Download Size Commentary Version Access 0511270-aw.pdf 0 91.3 KB volně online Publisher’s postprint open-access
Number of the records: 1