The atomic theory of left division of two-sided ideals of semirings with unitстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 20 апреля 2016 г.
Аннотация:We consider two-sided ideals of semirings with unit. We study the theory of two-sided ideals in the signature consisting of a binary predicate symbol for the subset relation 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.