Definitions from Wiktionary (Presburger arithmetic)
▸ noun: (logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, and addition, including a first-order schema of induction, without multiplication.
▸ Words similar to Presburger arithmetic
▸ Usage examples for Presburger arithmetic
▸ Idioms related to Presburger arithmetic
▸ Wikipedia articles (New!)
▸ Words that often appear near Presburger arithmetic
▸ Rhymes of Presburger arithmetic
▸ Invented words related to Presburger arithmetic
▸ noun: (logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, and addition, including a first-order schema of induction, without multiplication.
Similar:
Peano arithmetic,
arithmetical set,
Peano axiom,
predicate logic,
clarithmetic,
arithmetic hierarchy,
zero-order logic,
Polish notation,
second-order logic,
Robinson arithmetic,
more...
Opposite:
▸ Words similar to Presburger arithmetic
▸ Usage examples for Presburger arithmetic
▸ Idioms related to Presburger arithmetic
▸ Wikipedia articles (New!)
▸ Words that often appear near Presburger arithmetic
▸ Rhymes of Presburger arithmetic
▸ Invented words related to Presburger arithmetic