A finite axiomatization of positive MV-algebras

IF 0.6 4区数学 Q3 MATHEMATICS

Algebra Universalis Pub Date : 2022-06-28 DOI:10.1007/s00012-022-00776-3

Marco Abbadini, Peter Jipsen, Tomáš Kroupa, Sara Vannucci

引用次数: 2

Abstract

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.

查看原文本刊更多论文

正mv -代数的有限公理化

正MV代数是MV代数关于签名\（\｛\oplus，\ odot，\ vee，\ wedge，0，1\｝\）的子代数。我们为这类代数提供了一个有限的拟等式公理化。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

Algebra Universalis 数学-数学

CiteScore

1.00

自引率

16.70%

发文量

审稿时长

3 months

期刊介绍： 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.