Geodesic
The atomic theory of multiplication and division of semiring ideals
Fundamentalʹnaâ i prikladnaâ matematika, Tome 15 (2009) no. 2, pp. 169-189.

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

We consider two-sided ideals of semirings. More precisely, we study the theory of two-sided ideals in the signature consisting of the predicate symbol $\subseteq$ and three function symbols that denote the multiplication, right division, and left division of ideals. We prove that the set of those atomic formulas in this signature that are valid for all semirings and all valuations is decidable. 
@article{FPM_2009_15_2_a7,
     author = {A. E. Pentus and M. R. Pentus},
     title = {The atomic theory of multiplication and division of semiring ideals},
     journal = {Fundamentalʹna\^a i prikladna\^a matematika},
     pages = {169--189},
     publisher = {mathdoc},
     volume = {15},
     number = {2},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/FPM_2009_15_2_a7/}
}
TY  - JOUR
AU  - A. E. Pentus
AU  - M. R. Pentus
TI  - The atomic theory of multiplication and division of semiring ideals
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 2009
SP  - 169
EP  - 189
VL  - 15
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FPM_2009_15_2_a7/
LA  - ru
ID  - FPM_2009_15_2_a7
ER  - 
%0 Journal Article
%A A. E. Pentus
%A M. R. Pentus
%T The atomic theory of multiplication and division of semiring ideals
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 2009
%P 169-189
%V 15
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FPM_2009_15_2_a7/
%G ru
%F FPM_2009_15_2_a7
A. E. Pentus; M. R. Pentus. The atomic theory of multiplication and division of semiring ideals. Fundamentalʹnaâ i prikladnaâ matematika, Tome 15 (2009) no. 2, pp. 169-189. http://geodesic.mathdoc.fr/item/FPM_2009_15_2_a7/

[1] Lambek I., “Matematicheskoe issledovanie struktury predlozheniya”, Matematicheskaya lingvistika, Sbornik perevodov, eds. Yu. A. Shreider i dr., Mir, M., 1964, 47–68

[2] Lambek I., Koltsa i moduli, Mir, M., 1971 | MR | Zbl

[3] Pentus A. E., Pentus M. R., “Atomarnaya teoriya deleniya dvustoronnikh idealov polukolets”, Fundament. i prikl. mat., 12:2 (2006), 201–208 | MR

[4] Fuks L., Chastichno uporyadochennye algebraicheskie sistemy, Mir, M., 1965 | MR

[5] Buszkowski W., “Completeness results for Lambek syntactic calculus”, Z. Math. Logik Grundlag. Math., 32 (1986), 13–28 | DOI | MR | Zbl

[6] Buszkowski W., “Type logics in grammar”, Trends in Logic: 50 Years of Studia Logica, eds. V. F. Hendricks, J. Malinowski, Kluwer Academic, Dordrecht, 2003, 337–382 | DOI | MR | Zbl

[7] Van Benthem J., Language in Action. Categories, Lambdas and Dynamic Logic, Stud. Logic Foundations Math., 130, North-Holland, Amsterdam, 1991 | MR | Zbl