(n+1) 值 MV-代数的一个对偶性
逻辑
2015-08-25 v1
摘要
MV-代数由 Chang 引入以证明无穷值 Lukasiewicz 命题演算的完备性。在本文中，我们给出了 (n+1) 值 MV-代数簇与配备特定滤子族的布尔代数类之间的范畴等价。A. Di Nola 和 A. Lettieri 也给出了另一个类似的范畴等价。此外，我们指出了该范畴等价与 R. Cignoli 建立的对偶性之间的关系，后者可由 P. Niederkorn 关于 MV-代数簇自然对偶性的结果推导得出。
引用
@article{arxiv.1508.05527,
title = {A duality for (n+1)-valued MV-algebras},
author = {Marina Lattanzi and Alejandro Petrovich},
journal= {arXiv preprint arXiv:1508.05527},
year = {2015}
}
备注
Reports on Mathematical Logic, 2009