Published September 2018
| Version v1
Journal article
The Atomic Theory of Division and Intersection of Semiring Ideals
Description
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.
Additional details
Identifiers
Publishing Information
- Journal Title
- Journal of Mathematical Sciences
- Journal Volume
- 233
- Journal Issue
- 5
- Journal Page Range
- p. 724-731
- ISSN
- 1072-3374
- CODEN
- JMTSEW
INIS
- Country of Publication
- United States
- Country of Input or Organization
- International Atomic Energy Agency (IAEA)
- INIS RN
- 50017056
- Subject category
- S97: MATHEMATICAL METHODS AND COMPUTING;
- Resource subtype / Literary indicator
- Numerical Data
- Descriptors DEI
- ALGEBRA; FUNCTIONS; THEORETICAL DATA
- Descriptors DEC
- DATA; INFORMATION; MATHEMATICS; NUMERICAL DATA
Optional Information
- Copyright
- Copyright (c) 2018 Springer Science+Business Media, LLC, part of Springer Nature
- Notes
- http://www.springer-ny.com