Basic semirings
-
Ivan Chajda
and
Helmut Länger
Abstract
Basic algebras were introduced by Chajda, Halaš and Kühr as a common generalization of MV-algebras and orthomodular lattices, i.e. algebras used for formalization of non-classical logics, in particular the logic of quantum mechanics. These algebras were represented by means of lattices with section involutions. On the other hand, classical logic was formalized by means of Boolean algebras which can be converted into Boolean rings. A natural question arises if a similar representation exists also for basic algebras. Several attempts were already realized by the authors, see the references. Now we show that if a basic algebra is commutative then there exists a representation via certain semirings with involution similarly as it was done for MV-algebras by Belluce, Di Nola and Ferraioli. These so-called basic semirings, their ideals and congruences are studied in the paper.
(Communicated by Mirko Navara)
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] Botur, M.: An example of a commutative basic algebra which is not an MV-algebra, Math. Slovaca 60 (2010), 171–178.10.2478/s12175-010-0003-0Search in Google Scholar
[3] Botur, M.—Halaš, R.: Finite commutative basic algebras are MV-effect algebras, J. Mult.-Valued Logic Soft Comput. 14 (2008), 69–80.10.1007/s00500-009-0399-zSearch in Google Scholar
[4] Chajda, I.: Basic algebras, logics, trends and applications, Asian-Eur. J. Math. 8 (2015), 1550040 (46 pages).10.1142/S1793557115500400Search in Google Scholar
[5] Chajda, I.—Eigenthaler, G.—Länger, H.: Congruence Classes in Universal Algebra, Heldermann, Lemgo, 2012.Search in Google Scholar
[6] 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
[7] 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
[8] Chajda I.—Länger, H.: Commutative basic algebras and coupled near semirings, Soft Comput. 19 (2015), 1129–1134.10.1007/s00500-014-1537-9Search in Google Scholar
[9] Golan, J. S.: Semirings and their Applications, Kluwer, Dordrecht, 1999.10.1007/978-94-015-9333-5Search in Google Scholar
© 2019 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Regular papers
- The life jubilee of Prof. RNDr. Sylvia Pulmannová, DrSc.
- Perfect 1-factorizations
- A topological duality for strong Boolean posets
- On the Diophantine equations x2 + 2α 3β 19γ = yn and x2 + 2α 3β 13γ = yn
- Tribonacci numbers and primes of the form p = x2 + 11y2
- Basic semirings
- A conjecture for varieties of completely regular semigroups
- Uniqueness of meromorphic function with its shift operator under the purview of two or three shared sets
- Differential subordination results for Mittag-Leffler type functions with bounded turning property
- Mittag-Leffler stability for non-instantaneous impulsive Caputo fractional differential equations with delays
- Asymptotically periodic behavior of solutions of fractional evolution equations of order 1 < α < 2
- On the polynomial entropy for morse gradient systems
- Quantitative approximation by Stancu-Durrmeyer-Choquet-Šipoš operators
- A note on non-linear ∗-Jordan derivations on ∗-algebras
- Disjoint hypercyclic weighted translations on locally compact hausdorff spaces
- Some new results on real hypersurfaces with generalized Tanaka-Webster connection
- Relative topological properties of hyperspaces
- Cohomology of torus manifold bundles
- The Menger and projective Menger properties of function spaces with the set-open topology
- Asymptotic behavior of the record values in a stationary Gaussian sequence, with applications
Articles in the same Issue
- Regular papers
- The life jubilee of Prof. RNDr. Sylvia Pulmannová, DrSc.
- Perfect 1-factorizations
- A topological duality for strong Boolean posets
- On the Diophantine equations x2 + 2α 3β 19γ = yn and x2 + 2α 3β 13γ = yn
- Tribonacci numbers and primes of the form p = x2 + 11y2
- Basic semirings
- A conjecture for varieties of completely regular semigroups
- Uniqueness of meromorphic function with its shift operator under the purview of two or three shared sets
- Differential subordination results for Mittag-Leffler type functions with bounded turning property
- Mittag-Leffler stability for non-instantaneous impulsive Caputo fractional differential equations with delays
- Asymptotically periodic behavior of solutions of fractional evolution equations of order 1 < α < 2
- On the polynomial entropy for morse gradient systems
- Quantitative approximation by Stancu-Durrmeyer-Choquet-Šipoš operators
- A note on non-linear ∗-Jordan derivations on ∗-algebras
- Disjoint hypercyclic weighted translations on locally compact hausdorff spaces
- Some new results on real hypersurfaces with generalized Tanaka-Webster connection
- Relative topological properties of hyperspaces
- Cohomology of torus manifold bundles
- The Menger and projective Menger properties of function spaces with the set-open topology
- Asymptotic behavior of the record values in a stationary Gaussian sequence, with applications
