English Quantifier elimination Cited by user Marc Schroeder on 09 Jul 2022 Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science.
Japanese プレスバーガー算術 Cited by user 7D4xCJdZF3TYsdYjrBYoOQ on 20 Jun 2015 プレスバーガー算術とは加法を含む自然数に関する一階述語論理体系である。 モイジェシュ・プレスバーガーにより1929年に導入された。 プレスバーガー算術のシグネチャには加法と等号のみが含まれ乗法は省かれる。 公理には数学的帰納法の公理型を含む。 プレスバーガー算術は加法と乗法両方含むペアノ算術より弱い体系である。ペアノ算術とは異なりプレスバー…
English Presburger arithmetic Cited by user Rjwilmsi on 06 Mar 2015 Presburger arithmetic is the first-order theory of the natural numbers with addition, named in honor of Mojżesz Presburger, who introduced it in 1929.