N-Valued Logics and Łukasiewicz–Moisil Algebras

Abstract

Fundamental properties of N-valued logics are compared and eleven theorems are presented for their Logic Algebras, including Łukasiewicz–Moisil Logic Algebras represented in terms of categories and functors. For example, the Fundamental Logic Adjunction Theorem allows one to transfer certain universal, or global, properties of the Category of Boolean Algebras,

, (which are well-understood) to the more general category ${\cal L}$ M _n of Łukasiewicz–Moisil Algebras. Furthermore, the relationships of LM _n -algebras to other many-valued logical structures, such as the n-valued Post, MV and Heyting logic algebras, are investigated and several pertinent theorems are derived. Applications of Łukasiewicz–Moisil Algebras to biological problems, such as nonlinear dynamics of genetic networks – that were previously reported – are also briefly noted here, and finally, probabilities are precisely defined over LM _n -algebras with an eye to immediate, possible applications in biostatistics.