Normal forms and representable functions in Moisil logic
Abstract
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.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.