Login / Signup

Uniform versions of some axioms of second order arithmetic.

Nobuyuki SakamotoTakeshi Yamazaki
Published in: Math. Log. Q. (2004)
Keyphrases
  • higher order
  • first order logic
  • high order
  • knowledge base
  • neural network
  • floating point
  • database
  • databases
  • logic programs
  • differential equations
  • arithmetic operations
  • multiple versions
  • complete axiomatization