Note on tense SHn-algebras

Abstract

In this article, we continue the study of tense SHn–algebras [5]. These algebrasconstitute a generalization of tense ÃLukasiewicz–Moisil algebras [4]. In particular, we describea discrete duality for tense SHn–algebras bearing in mind the results indicated by OrÃlowskaand Rewitzky in [13], for SHn–algebras. In addition, we introduce a propositional calculusand prove this calculus has tense SHn–algebras as algebraic counterpart. Finally, the dualitymentioned above allowed us to show the completeness theorem for this calculus.