MV-semirings and their sheaf representations
type: Item
instance of: scholarly article
title: MV-semirings and their sheaf representations
zbMATH Open document ID: 1263.06004
author: Peter L. Belluce
author: A. R. Ferraioli
author: Antonio Di Nola
published in: Order
publication date: 2013-03-20T00:00:00Z
review text: MV-algebras are the algebraic counterpart of many-valued logic. Recently, Di Nola and Gerla introduced MV-semirings, that is, commutative additively idempotent semirings where every element has a residuum, which is roughly a form of negation. In Theorem 10 of the present paper it is shown that every MV-semiring has a natural structure of a distributive lattice. In every MV-algebra we can define an MV-semiring and conversely, that is, in universal algebra terms, we have a crypto-isomorphism between MV-algebras and MV-semirings, and an isomorphism between the two corresponding categories. An interesting problem, investigated in the paper, is the relation between the ideals of an MV-algebra \(A\) and the ideals of the corresponding MV-semiring \(S\). For instance, the prime spectra of \(A\) and \(S\) are in bijection, but they may have different topologies. Finally, the authors show, building on the notion of a localization of a semiring at a prime ideal, that every MV-algebra \(A\) is the MV-algebra of sections of the Grothendieck sheaf of the semiring reduct of \(A\) (despite the stalks of this sheaf are not MV-semirings, but only commutative additively idempotent semirings).
reviewed by: Giacomo Lenzi
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 16Y60
zbMATH DE Number: 6147380
zbMATH Keywords: MV-algebras
zbMATH Keywords: MV-semirings
zbMATH Keywords: sheaf representations
MaRDI profile type: Publication
full work available at URL: s11083-011-9234-0
OpenAlex ID: W1965001312
cites work: Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
cites work: Commutative rings whose ideals form an MV-algebra
cites work: On some lattice quotients of \(MV\)-algebras
cites work: Q5532570
cites work: Algebraic Analysis of Many Valued Logics
cites work: Sheaf representations of semirings
cites work: Algebraic foundations of many-valued reasoning
cites work: Q5702474
cites work: Representation theory of MV-algebras
cites work: Q4023553
cites work: Prime Ideal Structure in Commutative Rings
DOI: 10.1007/S11083-011-9234-0
description: scientific article; zbMATH DE number 6147380