Geodesic
The atomic theory of division and intersection of semiring ideals
Fundamentalʹnaâ i prikladnaâ matematika, Tome 21 (2016) no. 1, pp. 181-191 
A. E. Pentus; M. R. Pentus. The atomic theory of division and intersection of semiring ideals. Fundamentalʹnaâ i prikladnaâ matematika, Tome 21 (2016) no. 1, pp. 181-191. http://geodesic.mathdoc.fr/item/FPM_2016_21_1_a14/
@article{FPM_2016_21_1_a14,
     author = {A. E. Pentus and M. R. Pentus},
     title = {The atomic theory of division and intersection of semiring ideals},
     journal = {Fundamentalʹna\^a i prikladna\^a matematika},
     pages = {181--191},
     year = {2016},
     volume = {21},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/FPM_2016_21_1_a14/}
}
TY  - JOUR
AU  - A. E. Pentus
AU  - M. R. Pentus
TI  - The atomic theory of division and intersection of semiring ideals
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 2016
SP  - 181
EP  - 191
VL  - 21
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/FPM_2016_21_1_a14/
LA  - ru
ID  - FPM_2016_21_1_a14
ER  - 
%0 Journal Article
%A A. E. Pentus
%A M. R. Pentus
%T The atomic theory of division and intersection of semiring ideals
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 2016
%P 181-191
%V 21
%N 1
%U http://geodesic.mathdoc.fr/item/FPM_2016_21_1_a14/
%G ru
%F FPM_2016_21_1_a14

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 intersection, right division, and left division of ideals. We prove the decidability of the set of those atomic formulas in this signature that are valid for all semirings and all valuations.

[1] Bushkovskii V., “Sintaksicheskoe ischislenie Lambeka i ego semantika”, Logicheskie issledovaniya, 1, Nauka, M., 1993, 77–96 | MR

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

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

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

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

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

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

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