arrow
Return

Normal forms and representable functions in Moisil logic

delete2026-03-09
delete0
PRE
AI
S
Sipos, Andrei *
DOI:10.1007/s00012-026-00924-zdelete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

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

Journal

A
Algebra Universalis
IF:
0.6
Papers:
24
Citations:
0

Organization

U
University of Bucharest
Scholars:
4.6K
Papers: 3.5K
Citations: 3.8K