Polyadic tense h-valued èukasiewicz-Moisil algebras
暂无分享,去创建一个
In this paper we introduce the polyadic tense h-valued eukasiewicz-Moisil algebras (=polyadic tense LMh-algebras), as a common generalization of polyadic tense Boolean algebras and polyadic LMh-algebras. Our main result is a representation theorem for polyadic tense
[1] John P. Burgess,et al. Basic Tense Logic , 1984 .
[2] George Georgescu,et al. Lukasiewicz-Moisil algebras , 2012, Annals of discrete mathematics.
[3] R. Goldblatt. Logics of Time and Computation , 1987 .
[4] George Georgescu,et al. On the characterization of centered Lukasiewicz algebras , 1970 .