通过 MV-代数理解 Pierce-Birkhoff 猜想
逻辑
2016-05-05 v2
摘要
我们的主要议题是理解带乘积的 \L ukasiewicz 逻辑与 Pierce-Birkhoff 猜想之间的联系，并以数学方式表达这种联系。为此，我们定义了\textit{f}MV-代数类，即 endowed 具有内部二元乘积以及来自 的标量乘积的 MV-代数。由 生成的真准簇（两个乘积均解释为实数乘积）提供了所需的框架：其对应逻辑系统的范式定理可视为 Pierce-Birkhoff 猜想的局部版本。
引用
@article{arxiv.1410.5593,
title = {Towards understanding the Pierce-Birkhoff conjecture via MV-algebras},
author = {Serafina Lapenta and Ioana Leustean},
journal= {arXiv preprint arXiv:1410.5593},
year = {2016}
}