Normal forms and representable functions in Moisil logic

Andrei Sipos

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…