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 
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/
@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},
     year = {2012},
     volume = {17},
     number = {5},
     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
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
%U http://geodesic.mathdoc.fr/item/FPM_2012_17_5_a7/
%G ru
%F FPM_2012_17_5_a7

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.

[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 | Zbl

[4] Savateev Yu. V., “Raspoznavanie vyvodimosti dlya ischisleniya Lambeka s odnim deleniem”, Vestn. Mosk. un-ta. Ser. 1. Matematika, mekhanika, 2009, no. 2, 59–62 | MR

[5] Savateev Yu. V., “Primenenie setei dokazatelstv dlya issledovaniya fragmentov ischisleniya Lambeka”, Izv. RAN. Ser. mat., 75:3 (2011), 189–222 | DOI | MR | Zbl

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

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

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

[9] 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 | DOI | MR | Zbl

[10] Galatos N., Ono H., “Cut elimination and strong separation for substructural logics: an algebraic approach”, Ann. Pure Appl. Logic, 161:9 (2010), 1097–1133 | DOI | MR | Zbl