Equational characterization of all varieties of MV-algebras
Equational characterization of all varieties of MV-algebras
复制标题
所有 MV 代数变体的方程表征
DOI：
10.1006/jabr.1999.7900
复制
发表时间：
1999
影响因子：
0.9
通讯作者：
A. Lettieri
中科院分区：
文献类型：
--
作者：
A. Nola;A. Lettieri
已知MV-代数的所有子簇都是有限公理可公理的。在文献中，人们可以找到某些子簇的方程刻画，例如MV n-代数。在这篇文章中，我们写下了所有MV-簇的方程式基，并证明了每个子簇的表示定理。
Abstract It is known that all subvarieties of MV -algebras are finitely axiomatizable. In the literature, one can find equational characterizations of certain subvarieties, such as MV n -algebras. In this paper we write down equational bases for all MV -varieties and prove a representation theorem for each subvariety.