<p>In this note, we determine, by a disjunctive normal form theorem, which functions on the standard <i>n</i>-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.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Normal forms and representable functions in Moisil logic

  • Andrei Sipoş

摘要

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.