¿Álgebra de Kleene sin distributividad derecha?

Question

Estoy frente a una estructura matemática que tiene todo lo de un Kleene álgebra (S, +, ., 0, 1, *), salvo que la multiplicación '.' no es correcto-distributiva sobre la suma de"+".

http://en.wikipedia.org/wiki/Kleene_algebra

Creo que se podría definir como una versión debilitada de Kleene de álgebra, donde el semiring (S, +, ., 0, 1) se debilitó a un (a la izquierda) cerca-semiring, pero no he encontrado que la descripción se utiliza en cualquier lugar hasta ahora.

http://en.wikipedia.org/wiki/Near-semiring

Hay un nombre conocido para una estructura de este tipo, que podrían hacer alusión a mí la literatura ?

Gracias por adelantado,

Alex

Answer 1

Una vez corrí a través de Gráficos, Dioids y Semirings por Gondran y Minoux, y descubrió que era un muy bien escrito libro acerca de tales cosas.

No se puede ser positivo tiene exactamente lo que usted menciona, pero recuerdo que figuran detalladas de la nomenclatura para la organización de las generalizaciones de los anillos (por ejemplo: de una sola cara axiomas, exactamente como usted está buscando). Puesto que tales generalizaciones se han disparado en los últimos 40 años, y todo el mundo elige diferentes nombres para las cosas, los autores tuvo una difícil tarea de acondicionando todo el mundo de la terminología en un solo comprensible libro. También es bastante nuevo, así que me gustaría empezar por ahí!

Otro que me gustó fue Golán la Semirings y de sus aplicaciones; sin embargo, es mucho más antigua, y tengo aún menos confianza de que trata exactamente lo que usted está interesado en.

Buena suerte!