MTL-algebras as rotations of basic hoops

被引：9

作者：

Agliano, Paolo ^{[1
]}

Ugolini, Sara ^{[2
]}

机构：

[1] Univ Siena, Dipartimento Ingn Informat & Sci Matemat, Via Roma 56, I-53100 Siena, Italy

[2] Univ Denver, Dept Math, Denver, CO 80208 USA

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2019年 / 29卷 / 05期

关键词：

MTL-algebras; BL-algebras; basic hoops; disconnected rotations; splitting algebras; VARIETIES; INTERPOLATION; AMALGAMATION; SPLITTINGS;

D O I：

10.1093/logcom/exz005

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper, we use the generalize d rotation construction to lift results from the lattice of subvarieties of basic hoops to some parts of the lattice of subvarieties of monoidal t-norm based logic-algebras. In particular, we study splitting algebras for (the lattice of subvarieties of) varieties generated by generalized rotations of basic hoops and relevant subvarieties such as Wajsberg hoops, cancellative hoops and Godel hoops. Finally, we show that the generalized rotation construction preserves the amalgamation property.

引用

页码：763 / 784

页数：22

共 32 条

[11] [Anonymous], STUDIES LOGICS FDN M
[12] [Anonymous], THESIS
[13] [Anonymous], 2010, THESIS
[14] [Anonymous], THESIS
[15] On the structure of hoops
Blok, WJ
Ferreirim, IMA
[J]. ALGEBRA UNIVERSALIS, 2000, 43 (2-3) : 233 - 257
[16] Burris S., 1981, GRADUATE TEXTS MATH
[17] Representation by triples of algebras with an MV-retract
Busaniche, Manuela
Andres Marcos, Miguel
Ugolini, Sara
[J]. FUZZY SETS AND SYSTEMS, 2019, 369 : 82 - 102
[18] Cignoli R.L., 2013, Algebraic Foundations of Many-Valued Reasoning, V7
[19] Di Nola A., 1994, Studia Logica, V53, P417, DOI 10.1007/BF01057937
[20] Equational characterization of all varieties of MV-algebras
Di Nola, A
Lettieri, A
[J]. JOURNAL OF ALGEBRA, 1999, 221 (02) : 463 - 474

← 1 2 3 4 →