AN ELEMENTARY SYSTEM AS AND ITS SEMI‐COMPLETENESS AND DECIDABILITY
Qin Jun · Mathematical logic quarterly · 1992
Abstract The author establishes an elementary system AS which contains functions +, ≐ and a constant 0 and then proves the semi‐completeness and the decidability of AS, using the theory of systems of inequalities.