时态 SHn 代数
逻辑
2014-05-29 v2
摘要
1982 年，L. Iturrioz 引入了 n 阶对称 Heyting 代数（或称 SHn 代数）。在本文中，我们定义并研究了时态 SHn 代数，即赋予了两个时态算子的 SHn 代数。这些代数构成了时态 Lukasiewicz-Moisil 代数的推广。我们的主要兴趣在于时态 SHn 代数的对偶理论。为此，我们需要 Heyting 代数的 Esakia 对偶以及带运算的有界分配格的 Goldblatt 对偶。
引用
@article{arxiv.1203.5459,
title = {Tense SHn--algebras},
author = {Aldo V. Figallo and Gustavo Pelaitay},
journal= {arXiv preprint arXiv:1203.5459},
year = {2014}
}
备注
This paper has been withdrawn by the author due to a crucial sign error in equation 1