Normal forms and representable functions in Moisil logic

20260 citationsJournal Articlehybrid Open Access

Authors

Andrei Sipoş · Academia Oamenilor de Știință din România

Abstract

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.

Topics & Keywords

Advanced Algebra and Logic Advanced Topology and Set Theory Logic, programming, and type systems

UN Sustainable Development Goals

Reduced inequalities

Publication Details

Published in: Algebra Universalis

Volume 87, Issue 2

DOI: 10.1007/s00012-026-00924-z

Field-Weighted Citation Impact: 0.00