Completions in Subvarieties of BL-Algebras

2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI:10.1109/ISMVL.2010.24

M. Busaniche, L. Cabrer

引用次数: 2

Abstract

In the present paper we extend the results of \cite{BuCa} by completely characterizing dual canonical subvarieties of BL-algebras. These are subvarieties of algebras that satisfy the equation $x^k=x^{k+1}$ for some integer $k\ge 1$. As a corollary we get a full description of subvarieties of BL-algebras that admit completions.

查看原文本刊更多论文

bl -代数子集中的完备性

本文通过完全刻画bl -代数的对偶正则子变种，推广了\cite{BuCa}的结果。这些是代数的子集满足方程$x^k=x^{k+1}$对于某个整数$k\ge 1$。作为一个推论，我们得到了允许补全的bl -代数子集的完整描述。

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

求助全文

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

来源期刊

2010 40th IEEE International Symposium on Multiple-Valued Logic

自引率

0.00%

发文量