Normal forms and representable functions in Moisil logic

2023/04/01 by Andrei Sipoş, Sipos, Andrei
Computer Science · Mathematics · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Rings, Modules, and Algebras

paper · pdf · doi:10.48550/arxiv.2304.00288

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.

Related

• On the minimization k-valued logic functions in the class of disjunctive normal forms
• Rational Lukasiewicz logic and DMV-algebras
• Mutually exclusive nuances of truth in Moisil logic
• Stone and double Stone algebras: Boolean and Rough Set Representations, 3-valued and 4-valued Logics
• Representation theory of logics: a categorial approach