一元 n×m 值 Łukasiewicz-Moisil 代数
逻辑
2014-04-10 v2
摘要
本文开启了对一元 n×m 值 Łukasiewicz-Moisil 代数（简称 mLMn×m 代数）类的研究，即配备了一元运算（称为存在量词）的 n×m 值 Łukasiewicz-Moisil 代数。这些代数构成了一元 n 值 Łukasiewicz-Moisil 代数的推广。本文展示了存在量词与 mLMn×m 代数的特殊子代数之间的关系。此外，确定了这些代数上的同余关系，并刻画了次直不可约代数。由这最后的结果证明了 mLMn×m 是一个判别簇，并由此刻画了主同余关系。进而，计算了有限 mLMn×m 代数的同余关系数量。另外，描述了 mLMn×m 代数的拓扑对偶性，并给出了用关联空间的特殊子集对 mLMn×m 同余关系的刻画。此外，确定了对应于主同余关系的子集。最后，给出了这些代数的一些函数表示定理，并指出了它们之间的关系。
引用
@article{arxiv.1202.5806,
title = {Monadic n$\times$m-valued Lukasiewicz-Moisil algebras},
author = {Aldo V. Figallo and Claudia Sanza},
journal= {arXiv preprint arXiv:1202.5806},
year = {2014}
}
备注
This paper has been withdrawn by the author due to a crucial sign error in page 22