Geodesic
The atomic theory of left division of two-sided ideals of semirings with unit
Fundamentalʹnaâ i prikladnaâ matematika, Tome 17 (2012) no. 5, pp. 129-146

Voir la notice de l'article provenant de la source Math-Net.Ru

We consider two-sided ideals of semirings with unit. We study the theory of two-sided ideals in the signature consisting of the binary predicate symbol $\subseteq$ and a binary function symbol that denotes the left division of ideals. We prove the polynomial-time decidability of the problem of deciding whether a given atomic formula in this signature is valid for all semirings with unit and all valuations. A similar result holds for atomic formulas with the right division, but without the left division. 
@article{FPM_2012_17_5_a7,
     author = {A. E. Pentus and M. R. Pentus},
     title = {The atomic theory of left division of two-sided ideals of semirings with unit},
     journal = {Fundamentalʹna\^a i prikladna\^a matematika},
     pages = {129--146},
     publisher = {mathdoc},
     volume = {17},
     number = {5},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/FPM_2012_17_5_a7/}
}
TY  - JOUR
AU  - A. E. Pentus
AU  - M. R. Pentus
TI  - The atomic theory of left division of two-sided ideals of semirings with unit
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 2012
SP  - 129
EP  - 146
VL  - 17
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FPM_2012_17_5_a7/
LA  - ru
ID  - FPM_2012_17_5_a7
ER  - 
%0 Journal Article
%A A. E. Pentus
%A M. R. Pentus
%T The atomic theory of left division of two-sided ideals of semirings with unit
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 2012
%P 129-146
%V 17
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FPM_2012_17_5_a7/
%G ru
%F FPM_2012_17_5_a7
A. E. Pentus; M. R. Pentus. The atomic theory of left division of two-sided ideals of semirings with unit. Fundamentalʹnaâ i prikladnaâ matematika, Tome 17 (2012) no. 5, pp. 129-146. http://geodesic.mathdoc.fr/item/FPM_2012_17_5_a7/