Normal forms and representable functions in Moisil logic
摘要
In this note, we determine, by a disjunctive normal form theorem, which functions on the standard n-nuanced Łukasiewicz-Moisil algebra are representable by formulas and we show how this result may help in establishing the structure of the free algebras in this class.