Normal forms and representable functions in Moisil logic
Logic
2026-01-29 v2
Abstract
In this note, we determine, by a disjunctive normal form theorem, which functions on the standard -nuanced \L 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
Cite
@article{arxiv.2304.00288,
title = {Normal forms and representable functions in Moisil logic},
author = {Andrei Sipos},
journal= {arXiv preprint arXiv:2304.00288},
year = {2026}
}