Skip to search formSkip to main contentSkip to account menu

Peano axioms

Known as: Peano Postulate, Peano's axioms, Peano postulates 
In mathematical logic, the Peano axioms, also known as the Dedekind–Peano axioms or the Peano postulates, are a set of axioms for the natural numbers… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Highly Cited
2007
Highly Cited
2007
  • Baoding Liu
  • Studies in Fuzziness and Soft Computing
  • 2007
  • Corpus ID: 20772669
Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity axioms… 
Highly Cited
2007
Highly Cited
2007
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements… 
Highly Cited
1996
Highly Cited
1996
  • Yiyu Yao
  • Int. J. Approx. Reason.
  • 1996
  • Corpus ID: 14079327
Highly Cited
1993
Highly Cited
1993
Preliminaries.- A.- I: Arithmetic as Number Theory, Set Theory and Logic.- II: Fragments and Combinatorics.- B.- III: Self… 
Highly Cited
1991
Highly Cited
1991
  • R. Kaye
  • Oxford logic guides
  • 1991
  • Corpus ID: 118297305
Preface Background The standard model Discretely ordered rings Godel incompleteness The axioms of Peano arithmetic Some number… 
Highly Cited
1988
Highly Cited
1985
Highly Cited
1985
Highly Cited
1981
Highly Cited
1981
An extenston of the Knuth-Bendix algorithm for finding complete sets of reductions is described. The extension is intended to… 
Highly Cited
1973
Highly Cited
1973
This paper proposes a modular ACTOR architecture and definitional method for artificial intelligence that is conceptually based…