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 条
1234