Categorical proof theory of classical propositional calculus.

Gianluigi Bellin Martin Hyland Edmund Robinson Christian Urban

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

Keyphrases

propositional calculus
proof theory
default reasoning
logical equivalence
proof theoretic
automated reasoning
reasoning problems
expert systems
description logics
default logic
cp nets