The authors consider pseudo MV-algebras and semirings. The concepts are defined in great detail. Various results on these algebras and semirings are recalled. They also prove a few results on these algebras and semirings. They then apply these concepts to automata theory over lattice-ordered semirings, and various algebraic operations of languages of automata.
Recommendations
- Pseudo-MV algebras as semigroups
- Semiring and semimodule issues in MV-algebras.
- The semiring-theoretic approach to MV-algebras: a survey
- scientific article; zbMATH DE number 922677
- Semi-simple and complete MV-algebras
- scientific article; zbMATH DE number 1775504
- Mathematical Foundations of Computer Science 2004
- On pseudo MV-algebras
- Semisimple, Archimedean, and semilocal pseudo MV-algebras
- scientific article; zbMATH DE number 4108756
Cites work
- A New Proof of the Completeness of the Lukasiewicz Axioms
- A non-commutative generalization of MV-algebras
- Algebraic Analysis of Many Valued Logics
- scientific article; zbMATH DE number 4072419 (Why is no real title available?)
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 1163637 (Why is no real title available?)
- scientific article; zbMATH DE number 1775504 (Why is no real title available?)
- scientific article; zbMATH DE number 1902541 (Why is no real title available?)
- scientific article; zbMATH DE number 2221683 (Why is no real title available?)
- Observations on non-commutative fuzzy logic
- Pseudo MV-algebras are intervals in ℓ-groups
Cited in
(16)- Morphisms on EMV-algebras and their applications
- Weak QMV algebras and some ring-like structures
- Coding tree languages based on lattice-valued logic
- A semiring-like representation of lattice pseudoeffect algebras
- Algebraic properties of expectation semirings
- On EMV-algebras
- Algebraic properties of complete residuated lattice valued tree automata
- Ring-like structures corresponding to pseudo MV-algebras
- Pseudo-MV algebras as semigroups
- scientific article; zbMATH DE number 5076628 (Why is no real title available?)
- Ring-like structures corresponding to MV-algebras via symmetric difference
- Automata theory based on lattice-ordered semirings
- DRl-semigroups and MV-algebras
- On EMV-Semirings
- scientific article; zbMATH DE number 2221683 (Why is no real title available?)
- Additively idempotent matrix semirings
This page was built for publication: Semirings and pseudo MV algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2642991)
