Normal forms and representable functions in Moisil logic
Andrei Sipoş · arXiv (Cornell University) · 2023
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.