A triple representation of lattice effect algebras
-
Ivan Chajda
and
Helmut Länger
Abstract
A mutual relationship between MV-algebras and coupled semirings as established by L. P. Belluce, A. Di Nola, A. R. Ferraioli and B. Gerla is extended to lattice effect algebras and so-called characterizing triples. We show that this correspondence is in fact one-to-one and hence every lattice effect algebra can be considered as an ordered triple consisting of two semiring-like structures and an antitone involution which is an isomorphism between these structures.
Support of the research of both authors by the Austrian Science Fund (FWF), project I 1923-N25, and the Czech Science Foundation (GAČR), project 15-34697L, as well as by ÖAD, project CZ 04/2017, and of the first author by the project CZ.1.07/2.3.00/20.0051 “Algebraic Methods of Quantum Logics” is gratefully acknowledged.
References
[1] Belluce, L. P.—Di Nola, A.—Ferraioli, A. R.: MV-semirings and their sheaf representations, Order 30 (2013), 165–179.10.1007/s11083-011-9234-0Search in Google Scholar
[2] Chajda, I.—Halaš, R.—Kühr, J.: Many-valued quantum algebras, Algebra Universalis 60 (2009), 63–90.10.1007/s00012-008-2086-9Search in Google Scholar
[3] Chajda, I.—Kühr, J.: Ideals and congruences of basic algebras, Soft Comput. 17 (2013), 401–410.10.1007/s00500-012-0915-4Search in Google Scholar
[4] Chajda, I.—Länger, H.: A representation of basic algebras by coupled right near semirings, Acta Sci. Math. (Szeged) 81 (2015), 361–374.10.14232/actasm-014-307-zSearch in Google Scholar
[5] Di Nola, A.—Gerla, B.: Algebras of Lukasiewicz’s logic and their semiring reducts. In: Contemp. Math. 377, Amer. Math. Soc., Providence, RI, 2005, pp. 131–144.10.1090/conm/377/06988Search in Google Scholar
[6] Dvurečenskij, A.—Pulmannová, S.: New Trends in Quantum Structures, Kluwer, Dordrecht, 2000.10.1007/978-94-017-2422-7Search in Google Scholar
[7] Foulis, D. J.—Bennett, M. K.: Effect algebras and unsharp quantum logics, Found. Phys. 24 (1994), 1331–1352.10.1007/BF02283036Search in Google Scholar
[8] Gerla, B.: Many-valued logic and semirings, Neural Network World 5 (2003), 467–480.Search in Google Scholar
[9] Golan, J. S.: The Theory of Semirings with Applications in Mathematics and Theoretical Computer Science, Longman, Harlow, 1992.Search in Google Scholar
[10] Kuich, W.—Salomaa, A.: Semirings, Automata, Languages, Springer, Berlin, 1986.10.1007/978-3-642-69959-7Search in Google Scholar
[11] Riečanová, Z.: Generalization of blocks for D-lattices and lattice-ordered effect algebras, Internat. J. Theoret. Phys. 39 (2000), 231–237.10.1023/A:1003619806024Search in Google Scholar
© 2016 Mathematical institute slovak academy of sciences
Articles in the same Issue
- A triple representation of lattice effect algebras
- Periods of morgan-voyce sequences and elliptic curves
- Multiplicative generalized derivations on ideals in semiprime rings
- A few remarks on Poincaré-Perron solutions and regularly varying solutions
- Applications of extremal theorem and radius equation for a class of analytic functions
- On the “bang-bang” principle for a class of Riemann-Liouville fractional semilinear evolution inclusions
- New criteria for global exponential stability of linear time-varying volterra difference equations
- On approximation of functions by some hump matrix means of Fourier series
- Pseudo-amenability and pseudo-contractibility for certain products of Banach algebras
- Poisson kernels on semi-direct products of abelian groups
- Locally convex projective limit cones
- On the properties (wL) and (wV)
- On the existence of solutions for quadratic integral equations in Orlicz spaces
- Existence and uniqueness of best proximity points under rational contractivity conditions
- Almost Weyl structures on null geometry in indefinite Kenmotsu manifolds
- On the internal approach to differential equations 3. Infinitesimal symmetries
- A Characterization of the discontinuity point set of strongly separately continuous functions on products
- Wick differential and Poisson equations associated to the 𝚀𝚆𝙽-Euler operator acting on generalized operators
- Multivariate EIV models
- On codes over 𝓡k, m and constructions for new binary self-dual codes
- Domination number of total graphs
Articles in the same Issue
- A triple representation of lattice effect algebras
- Periods of morgan-voyce sequences and elliptic curves
- Multiplicative generalized derivations on ideals in semiprime rings
- A few remarks on Poincaré-Perron solutions and regularly varying solutions
- Applications of extremal theorem and radius equation for a class of analytic functions
- On the “bang-bang” principle for a class of Riemann-Liouville fractional semilinear evolution inclusions
- New criteria for global exponential stability of linear time-varying volterra difference equations
- On approximation of functions by some hump matrix means of Fourier series
- Pseudo-amenability and pseudo-contractibility for certain products of Banach algebras
- Poisson kernels on semi-direct products of abelian groups
- Locally convex projective limit cones
- On the properties (wL) and (wV)
- On the existence of solutions for quadratic integral equations in Orlicz spaces
- Existence and uniqueness of best proximity points under rational contractivity conditions
- Almost Weyl structures on null geometry in indefinite Kenmotsu manifolds
- On the internal approach to differential equations 3. Infinitesimal symmetries
- A Characterization of the discontinuity point set of strongly separately continuous functions on products
- Wick differential and Poisson equations associated to the 𝚀𝚆𝙽-Euler operator acting on generalized operators
- Multivariate EIV models
- On codes over 𝓡k, m and constructions for new binary self-dual codes
- Domination number of total graphs
