Cylindric algebras of De Morgan-valued logic

Abstract

We construct a De Morgan algebra-valued logic with quantifiers, where the truth values are in a finite De Morgan algebra, We show that there is a representation theorem of the cylindric algebra of this logic from which a completeness theorem for De Morgan algebra-valued logic follows. This is a generalization of the results in [2].