Proof theory of Nelson's paraconsistent logic: A uniform perspective.

Norihiro Kamide Heinrich Wansing

Published in: Theor. Comput. Sci. (2012)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
special case
multi dimensional