Semirings and pseudo MV algebras
In this paper, we describe the relationships between pseudo MV algebras and semirings. We also give definitions of automata on lattice ordered semirings, prove that the family of K-Languages is closed under union, and discuss the conditions for the closedness of families of K-languages under intersection, generalized intersection and reversal operations.
semirings pseudo mv algebras k-languages pseudo bl algebras k-sigma automata