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, [MediaObject not available: see fulltext.], (which are well-understood) to the more general category LM 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. © Springer 2006.