Monadic n m-valued Łukasiewicz-Moisil algebras.

DOI10.21136/MB.2012.142998zbMATH Open1274.03104arXiv1202.5806OpenAlexW3048153923MaRDI QIDQ4909672FDOQ4909672

Authors: Aldo V. Figallo, C. Sanza 

Publication date: 21 March 2013

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.

Full work available at URL: https://arxiv.org/abs/1202.5806

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

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)

Cited In (15)

• Title not available (Why is that?)
• Notes on monadic \(n\)-valued Łukasiewicz algebras.
• \(n\times m\)-valued Łukasiewicz algebras with negation
• On the variety of \(m\)-generalized Łukasiewicz algebras of order \(n\)
• \(LM_{n}\)-algebra of fractions and maximal \(LM_{n}\)-algebra of fractions
• Irredundant n-valued Moisil algebras
• The lattice of subvarietes of monadic \(n\)-valued Łukasiewicz-Moisil algebras
• Monadic NM-algebras
• Functional monadic $n$-valued Łukasiewicz algebras
• A topological approach to tense \(LM_{n \times m}\)-algebras
• Notes onn×m-valued Łukasiewicz Algebras with Negation
• An alternative notion of quantifiers on three-valued Łukasiewicz algebras
• \(C_n\) algebras with Moisil possibility operators
• A new topological duality for n × m-valued Łukasiewicz–Moisil 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)