Basic semirings
-
Ivan Chajda
und
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-0Suche 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-0Suche 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-zSuche in Google Scholar
[4] Chajda, I.: Basic algebras, logics, trends and applications, Asian-Eur. J. Math. 8 (2015), 1550040 (46 pages).10.1142/S1793557115500400Suche in Google Scholar
[5] Chajda, I.—Eigenthaler, G.—Länger, H.: Congruence Classes in Universal Algebra, Heldermann, Lemgo, 2012.Suche 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-9Suche 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-4Suche 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-9Suche in Google Scholar
[9] Golan, J. S.: Semirings and their Applications, Kluwer, Dordrecht, 1999.10.1007/978-94-015-9333-5Suche in Google Scholar
© 2019 Mathematical Institute Slovak Academy of Sciences
Artikel in diesem Heft
- 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
Artikel in diesem Heft
- 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
