无假值积逻辑的自同构群
逻辑
2007-06-22 v2
摘要
关于 n-1 个生成元上的自由 MV-代数的自同构群，已知者甚少，未知者甚多。本文我们证明该群作为更大的群——即 n 个生成元上的自由可消去 hoop 的所有自同构群——中 1 的稳定子群而出现。两个群在同一空间即 维立方体上有对偶作用。较大的群具有更丰富的动力学，代价是失去了 McNaughton 同胚的两个关键特征：有理点分母的保持，以及 Lebesgue 测度的保持。我们在此给出一些基本结果、若干例子与若干问题。
引用
@article{arxiv.math/0610781,
title = {The automorphism group of falsum-free product logic},
author = {Giovanni Panti},
journal= {arXiv preprint arXiv:math/0610781},
year = {2007}
}
备注
14 pages, 6 figures. Theorem 4.3 improved. To appear in Springer Lecture Notes in Computer Science