时态对称 Heyting 代数的离散对偶
逻辑
2012-03-27 v1
摘要
本文继续研究时态对称 Heyting 代数（或 TSH 代数）。这些代数构成时态代数的推广。特别地，鉴于 E. Orłowska 和 I. Rewitzky 在 [E. Orłowska and I. Rewitzky, Discrete Dualities for Heyting Algebras with Operators, Fund. Inform. 81 (2007), no.1-3, 275-295.] 中针对 Heyting 代数所指出的结果，我们描述了 TSH 代数的一种离散对偶。此外，我们引入了一种命题演算并证明该演算以 TSH 代数为其代数对应物。最后，上述对偶性使我们能够证明该演算的完备性定理。
关键词
引用
@article{arxiv.1203.5427,
title = {Discrete Duality for Tense Symmetric Heyting Algebras},
author = {Aldo V. Figallo and Gustavo Pelaitay and Claudia Sanza},
journal= {arXiv preprint arXiv:1203.5427},
year = {2012}
}