|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
The atomic theory of division and intersection of semiring idealsстатья Исследовательская статья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 31 июля 2019 г.
- Авторы: Pentus A.E., Pentus M.R.
- Журнал: Journal of Mathematical Sciences
- Том: 233
- Номер: 5
- Год издания: 2018
- Издательство: Plenum Publishers
- Местоположение издательства: United States
- Первая страница: 724
- Последняя страница: 731
- DOI: 10.1007/s10958-018-3960-4
- Аннотация: 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.
- Добавил в систему: Пентус Анна Евгеньевна