关于 Tense MV-代数
交换代数
2013-05-16 v1 逻辑
摘要
本文的主要目的是研究 Tense MV-代数，即带有新的一元运算 和 的 MV-代数，这两个运算表达了全称时间量词。Tense MV-代数由 D. Diagonescu 和 G. Georgescu 引入。利用 MV-代数之间 fm-函数的新概念，我们解决了他们关于某些类 Tense MV-代数表示的开问题的一半，即证明了任何 Tense 半单 MV-代数均由时间框架诱导，这与该逻辑领域的经典工作类似。作为副产品，我们获得了 MV-代数上极值态的新刻画。
引用
@article{arxiv.1305.3406,
title = {On Tense MV-algebras},
author = {Michal Botur and Jan Paseka},
journal= {arXiv preprint arXiv:1305.3406},
year = {2013}
}