Generalized MV-algebras
type: Item
instance of: scholarly article
title: Generalized MV-algebras
zbMATH Open document ID: 1063.06008
author: Nikolaos Galatos
author: Constantine Tsinakis
published in: Journal of Algebra
publication date: 2005-04-07T00:00:00Z
review text: The authors define a generalized MV-algebra (GMV-algebra for short) as a residuated lattice satisfying the identities \(x/((x\vee y)\setminus x)=x\vee y=(x/((x\vee y))\setminus x\). A closure operator \(\gamma\) on a residuated lattice \(\mathbf L\) such that \(\gamma(a)\gamma(b)\leqq \gamma(ab)\) for all \(a,b\in L\) is called a nucleus on \(L\); the image \(L_\gamma\) of \(\gamma\) is endowed with a residuated lattice structure \(\mathbf L_\gamma=(L,\wedge,\vee_\gamma, \circ_\gamma, \setminus, /, \gamma(e))\), where \(\gamma(a)\vee_\gamma \gamma(b)= \gamma(a\vee b)\) and \(\gamma(a)\circ_\gamma \gamma(b)=\gamma(ab)\). The fundamental result of the paper is the following theorem: A residuated lattice \(\mathbf M\) is a GMV-algebra if and only if there are residuated lattices \(\mathbf G, \mathbf L\), such that \(\mathbf G\) is an \(\ell\)-group, \(\mathbf L\) is the negative cone of an \(\ell\)-group, \(\gamma\) is a nucleus on \(\mathbf L\) and \(\mathbf M=\mathbf G\oplus \mathbf L_\gamma\) (where \(\oplus\) denotes the operation of the direct sum). As a consequence, the authors obtain a categorical equivalence that generalizes the results of Mundici and Dvurečenskij concerning the functor \(\Gamma\). Further, they prove that the equational theory of the variety of GMV-algebras is decidable.
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 06F15
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 2153364
zbMATH Keywords: residuated lattice
zbMATH Keywords: MV-algebra
zbMATH Keywords: lattice-ordered group
zbMATH Keywords: nucleus
zbMATH Keywords: categorical equivalence
reviewed by: Ján Jakubík
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2004.07.002
OpenAlex ID: W2146205527
cites work: Q4039742
cites work: Cancellative residuated lattices
cites work: Groupes et anneaux reticules
cites work: THE STRUCTURE OF RESIDUATED LATTICES
cites work: Residuation groupoids
cites work: Concerning cone algebras
cites work: Algebraic Analysis of Many Valued Logics
cites work: Algebraic foundations of many-valued reasoning
cites work: Q5693620
cites work: Pseudo MV-algebras are intervals in ℓ-groups
cites work: Q5509706
cites work: Q5693622
cites work: Minimal varieties of residuated lattices
cites work: Equational bases for joins of residuated-lattice varieties
cites work: Pseudo MV-algebras: A noncommutative extension of MV algebras
cites work: Q4542634
cites work: Metamathematics of fuzzy logic
cites work: THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
cites work: Q4168953
cites work: Q5693612
cites work: Algebras Whose Congruence Lattices are Distributive.
cites work: Products of classes of residuated structures
cites work: Q4215784
cites work: Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
cites work: Q3996704
cites work: Relative pseudo-complements, join-extensions, and meet-retractions
DOI: 10.1016/J.JALGEBRA.2004.07.002
description: scientific article; zbMATH DE number 2153364