Marina B.LATTANZI和Alejandro G.PETROVICH

Chang引入了一个b s t r A c t.$MV-$代数来证明无限值{\L}ukasiewicz命题演算的完备性。在本文中，我们给出了$（n+1）-$值MV-代数的变种与具有特定滤子族的布尔代数类之间的范畴等价性。A.Di Nola和A.Lettieri给出了另一个类似的分类等值。此外，我们还指出了这种范畴等价性与R.Cignoli建立的对偶性之间的关系，这种对偶性可以从P.Niederkorn关于$MV-$代数变种的自然对偶性的结果中导出。}

返回主菜单