Monadic n m-valued Łukasiewicz-Moisil algebras.

DOI10.21136/MB.2012.142998MaRDI QIDQ4909672zbMATH OpenOpenAlexFDO

Authors Aldo V. Figallo, C. Sanza

Publication date 21 March 2013

Full work available at URL https://arxiv.org/abs/1202.5806, http://mb.math.cas.cz/mb137-4/

zbMATH Keywords

\(n\)-valued Łukasiewicz-Moisil algebrasmonadic \(n\)-valued Łukasiewicz-Moisil algebras

Mathematics Subject Classification ID

De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Abstract: Here we initiate an investigation into the class mLMn{ imes}m of monadic n{ imes}m-valued Lukasiewicz-Moisil algebras (or mLMn{ imes}m-algebras), namely n{ imes}m-valued Lukasiewicz-Moisil algebras endowed with a unary operation called existential quantifier. These algebras constitute a generalization of monadic n-valued Lukasiewicz-Moisil algebras. In this article, the relationship between existential quantifiers and special subalgebras of mLMn{ imes}m-algebras is shown. Besides, the congruences on these algebras are determined and subdirectly irreducible algebras are characterized. From this last result it is proved that mLMn{ imes}m is a discriminator variety and as a consequence, the principal congruences are characterized. Furthermore, the number of congruences of finite mLMn{ imes}m-algebras is computed. In addition, a topological duality for mLMn{ imes}m-algebras is described and a characterization of mLMn{ imes}m-congruences in terms of special subsets of the associated space is shown. Moreover, the subsets which correspond to principal congruences are determined. Finally, some functional representation theorems for these algebras are given and the relationship between them is pointed out.

Recommendations

• On \(n \times m\)-valued Łukasiewicz-Moisil algebras
• scientific article; zbMATH DE number 4037897
• A new topological duality for n × m-valued Łukasiewicz–Moisil algebras
• \(n\times m\)-valued Łukasiewicz algebras with negation
• The lattice of subvarietes of monadic \(n\)-valued Łukasiewicz-Moisil algebras

Cited in

(15)

• Monadic NM-algebras
• Notes on monadic \(n\)-valued Łukasiewicz algebras.
• Notes onn×m-valued Łukasiewicz Algebras with Negation
• \(n\times m\)-valued Łukasiewicz algebras with negation
• \(C_n\) algebras with Moisil possibility operators
• scientific article; zbMATH DE number 2209900 (Why is no real title available?)
• A new topological duality for n × m-valued Łukasiewicz–Moisil algebras
• \(LM_{n}\)-algebra of fractions and maximal \(LM_{n}\)-algebra of fractions
• A topological approach to tense \(LM_{n \times m}\)-algebras
• Irredundant n-valued Moisil algebras
• The lattice of subvarietes of monadic \(n\)-valued Łukasiewicz-Moisil algebras
• On the variety of \(m\)-generalized Łukasiewicz algebras of order \(n\)
• An alternative notion of quantifiers on three-valued Łukasiewicz algebras
• Functional monadic $n$-valued Łukasiewicz algebras
• On \(n \times m\)-valued Łukasiewicz-Moisil algebras

This page was built for publication: Monadic \(n\times m\)-valued Łukasiewicz-Moisil algebras.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4909672)