Tense theta-valued Moisil propositional logic
In this paper we study the tense theta-valued Moisil propositional calculus, a logical system obtained from the theta-valued Moisil propositional logic by adding two tense operators. The main result is a completeness theorem for tense theta-valued Moisil propositional logic. The proof of this theorem is based on the representation theorem of tense theta-valued Lukasiewicz-Moisil algebras, developed in a previous paper.
lukasiewicz-moisil algebras tense moisil logic