Proof Theory for Casari's Comparative Logics.

George Metcalfe

Published in: J. Log. Comput. (2006)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
knowledge base
reasoning problems
special case
nonmonotonic reasoning