蕴涵 Zroupoid 的半单簇
逻辑
2015-09-30 v1
摘要
众所周知，布尔代数可以仅用蕴涵和一个常数来定义。2012 年，文献 [8] 将该结果推广至 De Morgan 代数，这促使 Sankappanavar 引入并研究了推广 De Morgan 代数的蕴涵 zroupoid 簇 I。他的研究在文献 [3] 和 [4] 中得到延续，其中引入了 I 的若干新子簇，并探讨了它们彼此之间以及与文献 [8] 中簇之间的关系。本文是文献 [8] 和 [3] 的延续。本文的主要目的是确定 I 中的单代数。我们证明了 I 中恰好存在五个单代数。由此描述我们推断，I 的半单子簇恰好是由这 5 个单 I-zroupoid 生成的簇的子簇，并且是局部有限的。进一步可得，I 的半单子簇格同构于一个 4 元布尔格与一个 4 元链的直积。
关键词
引用
@article{arxiv.1509.08502,
title = {Semisimple Varieties of Implication Zroupoids},
author = {Juan M. Cornejo and Hanamantagouda P. Sankappanavar},
journal= {arXiv preprint arXiv:1509.08502},
year = {2015}
}
备注
21 pages