Login / Signup

Model-Theoretic Properties Characterizing Peano Arithmetic.

Richard Kaye
Published in: J. Symb. Log. (1991)
Keyphrases
  • model theoretic
  • description logics
  • deductive databases
  • operational semantics
  • database
  • data management
  • np complete
  • desirable properties
  • default reasoning
  • fixpoint
  • decision procedures
  • proof theoretic