Marco Abbadini, Peter Jipsen, Tomáš Kroupa, Sara Vannucci
{"title":"正mv -代数的有限公理化","authors":"Marco Abbadini, Peter Jipsen, Tomáš Kroupa, Sara Vannucci","doi":"10.1007/s00012-022-00776-3","DOIUrl":null,"url":null,"abstract":"<div><p>Positive MV-algebras are the subreducts of MV-algebras with respect to the signature <span>\\(\\{\\oplus , \\odot , \\vee , \\wedge , 0, 1\\}\\)</span>. We provide a finite quasi-equational axiomatization for the class of such algebras.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"83 3","pages":""},"PeriodicalIF":0.6000,"publicationDate":"2022-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"A finite axiomatization of positive MV-algebras\",\"authors\":\"Marco Abbadini, Peter Jipsen, Tomáš Kroupa, Sara Vannucci\",\"doi\":\"10.1007/s00012-022-00776-3\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Positive MV-algebras are the subreducts of MV-algebras with respect to the signature <span>\\\\(\\\\{\\\\oplus , \\\\odot , \\\\vee , \\\\wedge , 0, 1\\\\}\\\\)</span>. We provide a finite quasi-equational axiomatization for the class of such algebras.</p></div>\",\"PeriodicalId\":50827,\"journal\":{\"name\":\"Algebra Universalis\",\"volume\":\"83 3\",\"pages\":\"\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2022-06-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Algebra Universalis\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00012-022-00776-3\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algebra Universalis","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s00012-022-00776-3","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
Positive MV-algebras are the subreducts of MV-algebras with respect to the signature \(\{\oplus , \odot , \vee , \wedge , 0, 1\}\). We provide a finite quasi-equational axiomatization for the class of such algebras.
期刊介绍:
Algebra Universalis publishes papers in universal algebra, lattice theory, and related fields. In a pragmatic way, one could define the areas of interest of the journal as the union of the areas of interest of the members of the Editorial Board. In addition to research papers, we are also interested in publishing high quality survey articles.