On the Proof Theory of the Intermediate Logic MH.

Jonathan P. Seldin

Published in: J. Symb. Log. (1986)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
artificial intelligence
learning algorithm
logical equivalence
machine learning
special case
nonmonotonic reasoning