On EMV-Semirings
-
R. A. Borzooei
,
M. Shenavaei
Abstract
The paper deals with an algebraic extension of MV-semirings based on the definition of generalized Boolean algebras. We propose a semiring-theoretic approach to EMV-algebras based on the connections between such algebras and idempotent semirings. We introduce a new algebraic structure, not necessarily with a top element, which is called an EMV-semiring and we get some examples and basic properties of EMV-semiring. We show that every EMV-semiring is an EMV-algebra and every EMV-semiring contains an MV-semiring and an MV-algebra. Then, we study EMV-semiring as a lattice and prove that any EMV-semiring is a distributive lattice. Moreover, we define an EMV-semiring homomorphism and show that the categories of EMV-semirings and the category of EMV-algebras are isomorphic. We also define the concepts of GI-simple and DLO-semiring and prove that every EMV-semiring is a GI-simple and a DLO-semiring. Finally, we propose a representation for EMV-semirings, which proves that any EMV-semiring is either an MV-semiring or can be embedded into an MV-semiring as a maximal ideal.
(Communicated by Anatolij Dvurečenskij )
References
[1] Baccelli, F.—Cohen, G.—Olsder, G. J.—Quadrat, J. P.: Synchronization and Linearity: An Algebra for Discrete Event Systems, John Wiley & Sons Publishers, 1992.Search in Google Scholar
[2] Belluce, L. P.—Di Nola, A.: Commutative rings whose ideals form an MV-algebra, MLQ Math. Log. Q. 55(5) (2009), 468–486.10.1002/malq.200810012Search in Google Scholar
[3] Belluce, L. P.—Di Nola, A.—Ferraioli, A. R.: MV-semirings and their sheaf representation, Order 30 (2013), 165–179.10.1007/s11083-011-9234-0Search in Google Scholar
[4] Bonzio, S.—Chajda, I.—Ledda, A.: Representing quantum structures as near semirings, Logic J. IGPL, 24 (2016), 719–742.10.1093/jigpal/jzw031Search in Google Scholar
[5] Di Nola, A.—Dvurečenskij, A.—Tsinakis, C.: Perfect GMV-algebras, Comm. Algebra 36(4) (2008), 1221–1249.10.1080/00927870701862852Search in Google Scholar
[6] Di Nola, A.—Gerla, B.: Algebras of Łukasiewicz′s logic and their semiring reducts, Contemp. Math. 377 (2005), 131–144.10.1090/conm/377/06988Search in Google Scholar
[7] Di Nola, A.—Russo, C.: The semiring-theoretic approach to MV-algebras: A survey, Fuzzy Sets and Systems 281 (2015), 134–154.10.1016/j.fss.2015.08.026Search in Google Scholar
[8] Di Nola, A.—Russo, C.: Łukasiewicz transform and its application to compression and reconstruction of digital images, Inform. Sci. 177(6) (2007), 1481–1498.10.1016/j.ins.2006.09.002Search in Google Scholar
[9] Dvurečenskij, A.: Pseudo MV-algebras are intervals inℓ-groups, J. Aust. Math. Soc. 72 (2002), 427–445.10.1017/S1446788700036806Search in Google Scholar
[10] Dvurečenskij, A.—Zahiri, O.: On EMV-algebras, Fuzzy Sets and Systems (2019), in press, https://doi.org/10.1016/j.fss.2019.02.013.10.1016/j.fss.2019.02.013Search in Google Scholar
[11] Dvurečenskij, A.—Zahiri, O.: The Loomis-Sikorski theorem for EMV-algebras, J. Aust. Math. Soc. 106 (2019), 200–23410.1017/S1446788718000101Search in Google Scholar
[12] Dvurečenskij, A.—Zahiri, O.: States on EMV-algebras, Soft comput. (2019), in press, https://doi.org/10.1007/s00500-018-03738-x.Search in Google Scholar
[13] Dvurečenskij, A.—Zahiri, O.: Morphisms on EMV-algebras and Their Applications, Soft Comput. 22(22) (2018), 7519–7537.10.1007/s00500-018-3039-7Search in Google Scholar
[14] Chajda, I.—Länger H.: ARepresentation of lattice effect algebras by means of right near semirings with involution, Internat. J. Theoret. Phys. 56(12) (2017), 3719–3726.10.1007/s10773-016-3191-8Search in Google Scholar
[15] Chajda, I.—Länger H.: On the structure of balanced near semirings, Miskolc Math. Notes 18(2) (2017), 691–699.10.18514/MMN.2017.2201Search in Google Scholar
[16] Chajda, I.—Fazio, D.—Ledda, A.: On the structure theory of Łukasiewicz near semirings, Logic J. IGPL 26 (2018), 14–28.10.1093/jigpal/jzx044Search in Google Scholar
[17] Chajda, I.—Fazio, D.—Ledda, A.: Asemiring-like representation of lattice pseudo effect algebras, Soft Comput. 23(5) (2019), 1465–1475.10.1007/s00500-018-3157-2Search in Google Scholar
[18] Chang, C. C.: Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958), 467–490.10.1090/S0002-9947-1958-0094302-9Search in Google Scholar
[19] Cignoli, R.—D′Ottaviano, I. M. L.—Mundici, D.: Algebraic Foundations of Many-Valued Reasoning, Springer, 2000.10.1007/978-94-015-9480-6Search in Google Scholar
[20] Galatos, N.—Tsinakis, C.: Generalized MV-algebras, J. Algebra 283 (2005), 254–291.10.1016/j.jalgebra.2004.07.002Search in Google Scholar
[21] Georgescu, G.—Iorgulescu, A.: Pseudo-MV algebras, J. Mult.-Valued Logic Soft Comput. 6 (2001), 95–135.Search in Google Scholar
[22] Golan, J. S.: The Theory of Semirings with Applications in Mathematics and Theoretical Computer Science, Longman Scientific and Technical, 1992.Search in Google Scholar
[23] Mundici, D.: Interpretation of AF C∗-algebras in Łukasiewicz sentential calculus, J. Funct. Anal. 65 (1986), 15–63.10.1016/0022-1236(86)90015-7Search in Google Scholar
[24] Rachůnek, J.: Anon-commutative generalization of MV-algebras, Czechoslovak Math. J. 52 (2002), 255–273.10.1023/A:1021766309509Search in Google Scholar
[25] Russo, C.: Aunified algebraic framework for fuzzy image compression and mathematical morphology, International Workshop on Fuzzy Logic and Applications 5571 (2009), 205–212.10.1007/978-3-642-02282-1_26Search in Google Scholar
[26] Schwarz, S.: Łukasiewicz logic and weighted logics over MV-semirings, J. Autom. Lang. Comb. 12(4) (2007), 485–499.Search in Google Scholar
© 2019 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Regular papers
- On the finite embeddability property for quantum B-algebras
- A dual Ramsey theorem for finite ordered oriented graphs
- On EMV-Semirings
- A nonsymmetrical matrix and its factorizations
- On weakly 𝓗-permutable subgroups of finite groups
- The left Riemann-Liouville fractional Hermite-Hadamard type inequalities for convex functions
- A geometrical version of Hardy-Rellich type inequalities
- On a Choquet-Stieltjes type integral on intervals
- Uniqueness of meromorphic functions sharing four small functions on annuli
- A subclass of uniformly convex functions and a corresponding subclass of starlike function with fixed coefficient associated with q-analogue of Ruscheweyh operator
- Functions of bounded variation related to domains bounded by conic sections
- Unified solution of Fekete-Szegö problem for subclasses of starlike mappings in several complex variables
- Oscillatory criteria for the second order linear ordinary differential equations
- When deviation happens between rough statistical convergence and rough weighted statistical convergence
- The retraction of certain banach right modules associated to a character
- On sequence spaces generated by binomial difference operator of fractional order
- Some refinements of young type inequality for positive linear map
- On the Gromov-Hausdorff limit of metric spaces
- The beta exponentiated Nadarajah-Haghighi distribution: theory, regression model and application
- Hilbert algebras with supremum generated by finite chains
Articles in the same Issue
- Regular papers
- On the finite embeddability property for quantum B-algebras
- A dual Ramsey theorem for finite ordered oriented graphs
- On EMV-Semirings
- A nonsymmetrical matrix and its factorizations
- On weakly 𝓗-permutable subgroups of finite groups
- The left Riemann-Liouville fractional Hermite-Hadamard type inequalities for convex functions
- A geometrical version of Hardy-Rellich type inequalities
- On a Choquet-Stieltjes type integral on intervals
- Uniqueness of meromorphic functions sharing four small functions on annuli
- A subclass of uniformly convex functions and a corresponding subclass of starlike function with fixed coefficient associated with q-analogue of Ruscheweyh operator
- Functions of bounded variation related to domains bounded by conic sections
- Unified solution of Fekete-Szegö problem for subclasses of starlike mappings in several complex variables
- Oscillatory criteria for the second order linear ordinary differential equations
- When deviation happens between rough statistical convergence and rough weighted statistical convergence
- The retraction of certain banach right modules associated to a character
- On sequence spaces generated by binomial difference operator of fractional order
- Some refinements of young type inequality for positive linear map
- On the Gromov-Hausdorff limit of metric spaces
- The beta exponentiated Nadarajah-Haghighi distribution: theory, regression model and application
- Hilbert algebras with supremum generated by finite chains
