Login / Signup

Proof Theory of Weak compactness.

Toshiyasu Arai
Published in: J. Math. Log. (2013)
Keyphrases
  • proof theory
  • default reasoning
  • proof theoretic
  • automated reasoning
  • reasoning problems
  • search algorithm
  • belief revision
  • lower bound
  • special case
  • np complete
  • probabilistic reasoning
  • nonmonotonic reasoning