Мақаланы E-mail арқылы жіберу The Atomic Theory of Division and Intersection of Semiring Ideals
- Авторлар: Pentus A.E.1, Pentus M.R.1,2,3,4
-
Мекемелер:
- Moscow State University
- Russian State University for the Humanities
- Moscow State Pedagogical University
- Steklov Mathematical Institute, Russian Academy of Sciences
- Шығарылым: Том 233, № 5 (2018)
- Беттер: 724-731
- Бөлім: Article
- URL: https://ogarev-online.ru/1072-3374/article/view/241658
- DOI: https://doi.org/10.1007/s10958-018-3960-4
- ID: 241658
Дәйексөз келтіру
Ашық рұқсат
Рұқсат берілді
Тек жазылушылар үшін
Аннотация
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 ⊆ 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.
Авторлар туралы
A. Pentus
Moscow State University
Хат алмасуға жауапты Автор.
Email: apentus@mech.math.msu.su
Ресей, Moscow
M. Pentus
Moscow State University; Russian State University for the Humanities; Moscow State Pedagogical University; Steklov Mathematical Institute, Russian Academy of Sciences
Email: apentus@mech.math.msu.su
Ресей, Moscow; Moscow; Moscow; Moscow
Қосымша файлдар
