Presburger arithmetic is a weakened form of arithmetic which includes the structure , the constant , the unary function , the binary function , and the binary relation . Essentially, it is Peano arithmetic without multiplication.
Presburger arithmetic is decidable, but is consequently very limited in what it can express.
|Date of creation||2013-03-22 12:51:11|
|Last modified on||2013-03-22 12:51:11|
|Last modified by||Henry (455)|