Return
Normal forms and representable functions in Moisil logic
DOI:10.1007/s00012-026-00924-z.png)
Abstract
En 中文
In this note, we determine, by a disjunctive normal form theorem, which functions on the standard n-nuanced & Lstrok;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.
Keywords:
& Lstrok
ukasiewicz-Moisil algebras
Disjunctive normal form
Free algebras
Many-valued logic

