MV-closures of Wajsberg hoops and applications
Hoops are particular class of algebraic structures: partially ordered commutative residuated integral monoids satisfying a further divisibility condition. This class is a variety which includes two classes of algebras that are closely related to familiar algebras of logic: the variety of Brouwerian semilattices and the variety of Wajsberg hoops. The main aim of this paper is to construct, for a Wajsberg hoop \textbf{A}, an MV-algebra \textbf{MV(A)} such that the underlying set \(A\) of \textbf{A} is a maximal filter of \textbf{MV(A)} and the quotient algebra \textbf{MV(A)}/A is the two-element chain. This construction has a universal property: the authors show that \textbf{MV(A)} is precisely the MV-algebra freely generated over \textbf{A}, unique up to isomorphism. Some of the properties presented here have to be mentioned: if \textbf{A} is a bounded or finite Wajsberg hoop, then \(\mathbf{MV(A)}\cong \text{Ł}_{1}\times A_{0}\) (\(A_{0}\) being the MV-algebra with least element 0); if \(P\) is a prime filter in a Wajsberg hoop \textbf{A}, then \({\mathbf A}/P\) is bounded if and only if \(P\) is not prime in \textbf{MV(A)}. The construction of \textbf{MV(A)} allows the authors to derive a topological duality for locally finite Wajsberg hoops by making minor changes to the corresponding duality for MV-algebras. Then, another topological duality is constructed for \(k\)-valued Wajsberg hoops, based on a different representation of \(k\)-valued MV-algebras. The authors apply this construction to give a topological representation for free \(k\)-valued Wajsberg hoops.
- Algebraic Analysis of Many Valued Logics
- Extending Stone duality to multisets and locally finite MV-algebras.
- Free algebras in varieties of BL-algebras generated by a BLn-chain
- Free MV_n-algebras
- Geometrical methods in Wajsberg hoops
- scientific article; zbMATH DE number 3887682 (Why is no real title available?)
- Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro
- On the structure of hoops
- Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
- Geometrical methods in Wajsberg hoops
- On the structure of hoops
- On the regularity of MV-algebras and Wajsberg hoops
- Relative ideals in homological categories with an application to MV-algebras
- Hoops and domains
- A representation of symmetric Wajsberg pseudo hoops
- Free constructions in hoops via -groups
- The polyhedral geometry of Wajsberg hoops
- A generalization of ideals in hoop algebras
- Coherent and ideal actions in ideally exact categories
This page was built for publication: MV-closures of Wajsberg hoops and applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q616116)
