The atomic theory of division of semiring ideals

被引：0
|
作者：
Pentus A.E. [1 ]
Pentus M.R. [1 ]
机构：
[1] Moscow State University,
来源：
Journal of Mathematical Sciences | 2008年 / 149卷 / 2期
关键词：
Function Symbol; Atomic Formula; Predicate Symbol; Primitive Type; Categorial Grammar;
D O I：
10.1007/s10958-008-0056-6
中图分类号：
学科分类号：
摘要：
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 two function symbols that denote the right and left division of ideals. We prove that the set of those atomic formulas in this signature that are valid for all semirings and all valuations is decidable. © 2008 Springer Science+Business Media, Inc.
引用
收藏
页码：1176 / 1181
页数：5
相关论文
共 50 条
12345