Maximal subalgebras of MV_n-algebras. A proof of a conjecture of A. Monteiro

DOI10.1007/S11225-006-9020-YMaRDI QIDQ861575zbMATH OpenOpenAlexWikidataFDO

Authors N. E. Zubov

Publication date 29 January 2007

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-006-9020-y

zbMATH Keywords

Boolean spacesLukasiewicz many-valued logicsMoisil-Lukasiewicz algebrasMV-algebrassubalgebras

Mathematics Subject Classification ID

MV-algebras (06D35)

Review text

An MV-algebra is a structure \((A,\oplus ,^{-},0)\) of type \((2,2,0)\) such that \((A,\oplus ,0)\) is a commutative monoid with neutral element \(0\) satisfying the following equations \(x^{=}=x,\) \(x\oplus 0^{-}=0^{-}\) and \( (x\oplus y)^{-}=x^{-}\oplus y^{-}\). For each integer \(n\geq 2,\) MV\(_{n}\) denotes the variety of MV-algebras generated by the MV-chain with \(n\) elements. Algebras in MV\(_{n}\) are represented as continuous functions from a Boolean space into an \(n\)-element chain equipped with the discrete topology. In this paper, using these representations, maximal subalgebras of algebras in MV\(_{n}\) are characterized, and it is shown that proper subalgebras are intersections of maximal subalgebras. When \(A\in \text{MV}_{3},\) the mentioned characterization of maximal subalgebras of \(A\) can be given in terms of prime filters of the underlying lattice \(A,\) in the form that was conjectured by A. Monteiro.

Recommendations

• MV^*—Algebras
• Subvarieties of the variety of all MV-algebras properties
• scientific article; zbMATH DE number 1737274
• Lattice of subalgebras in the finitely generated varieties of MV-algebras
• Connection between MV_n algebras and n-valued Lukasiewicz-Moisil algebras. I

Cites work

• A New Proof of the Completeness of the Lukasiewicz Axioms
• Algebraic Analysis of Many Valued Logics
• An algebraic approach to non-classical logics
• An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
• Equational characterization of all varieties of MV-algebras
• scientific article; zbMATH DE number 3443699 (Why is no real title available?)
• scientific article; zbMATH DE number 3230226 (Why is no real title available?)
• scientific article; zbMATH DE number 3264909 (Why is no real title available?)
• Natural dualities for varieties of MV-algebras. I
• On constructible falsity in the constructive logic with strong negation
• Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi
• The Lattice of Subalgebras of a Boolean Algebra
• Wajsberg algebras and Post algebras

Cited in

(6)

• MV-algebras embedded in a CL-algebra
• Relative subalgebras of MV-algebras
• scientific article; zbMATH DE number 1045681 (Why is no real title available?)
• Projectivity and unification in locally finite varieties of monadic MV-algebras
• A note on maximal \(\mathrm{B}_p\)-subalgebras of B-algebras
• MV-closures of Wajsberg hoops and applications

This page was built for publication: Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro

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