In order to represent lattice pseudoeffect algebras, a non-commutative generalization of lattice effect algebras, in terms of a particular subclass of near semirings, we introduce in this article the notion of near pseudoeffect semiring. Taking advantage of this characterization, in the second part of the present work, we present, as an application, an alternative, rather straight as well as simple, explanation of the relationship between lattice pseudoeffect algebras and pseudo-MV algebras by means of a simplified axiomatization of generalized Łukasiewicz semirings, a variety of non-commutative semirings equipped with two antitone unary operations.
A semiring-like representation of lattice pseudoeffect algebras
Chajda I.;Fazio D.;Ledda A.
2019-01-01
Abstract
In order to represent lattice pseudoeffect algebras, a non-commutative generalization of lattice effect algebras, in terms of a particular subclass of near semirings, we introduce in this article the notion of near pseudoeffect semiring. Taking advantage of this characterization, in the second part of the present work, we present, as an application, an alternative, rather straight as well as simple, explanation of the relationship between lattice pseudoeffect algebras and pseudo-MV algebras by means of a simplified axiomatization of generalized Łukasiewicz semirings, a variety of non-commutative semirings equipped with two antitone unary operations.File | Dimensione | Formato | |
---|---|---|---|
2.A semiring-like representation of lattice pseudoeffect algebras_Chajda_Fazio_Ledda .pdf
Solo gestori archivio
Tipologia:
versione editoriale (VoR)
Dimensione
469.24 kB
Formato
Adobe PDF
|
469.24 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.