Glivenko sequent classes in the light of structural proof theory.

Published in: Arch. Math. Log. (2016)

Keyphrases

proof theory
default reasoning
proof theoretic
cut elimination
automated reasoning
artificial intelligence
inference rules
default logic