基本环的旋转代数

J. Log. Comput. Pub Date : 2019-03-05 DOI:10.1093/LOGCOM/EXZ005

P. Aglianó, S. Ugolini

{"title":"基本环的旋转代数","authors":"P. Aglianó, S. Ugolini","doi":"10.1093/LOGCOM/EXZ005","DOIUrl":null,"url":null,"abstract":"\n 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 Gödel hoops. Finally, we show that the generalized rotation construction preserves the amalgamation property.","PeriodicalId":398763,"journal":{"name":"J. Log. Comput.","volume":"172 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":"{\"title\":\"|MTL|-algebras as rotations of basic hoops\",\"authors\":\"P. Aglianó, S. Ugolini\",\"doi\":\"10.1093/LOGCOM/EXZ005\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\\n 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 Gödel hoops. Finally, we show that the generalized rotation construction preserves the amalgamation property.\",\"PeriodicalId\":398763,\"journal\":{\"name\":\"J. Log. Comput.\",\"volume\":\"172 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-03-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"12\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"J. Log. Comput.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1093/LOGCOM/EXZ005\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"J. Log. Comput.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1093/LOGCOM/EXZ005","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 12

摘要

利用广义d旋转构造，将基本环的子变格的结果推广到基于一元t模的逻辑代数的子变格的某些部分。特别地，我们研究了由基本环的广义旋转和Wajsberg环、取消环和Gödel环等相关的子变量所产生的(子变量的格)的分裂代数。最后，我们证明了广义旋转构造保留了合并性质。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

|MTL|-algebras as rotations of basic hoops

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 Gödel hoops. Finally, we show that the generalized rotation construction preserves the amalgamation property.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

J. Log. Comput.

自引率

0.00%

发文量