电邮这篇文章 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
如何引用文章
开放存取
##reader.subscriptionAccessGranted##
订阅存取
详细
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
补充文件
