Proof theory

[82/79%]

Subtopics

Hilbert-style calculi[44/75%]
Proof systems: natural deduction and sequent calculus[29/86%]
Intuitionistic propositional logic[13/92%]
Soundness and completeness theorem for propositional calculus[8/75%]
Logical matrices and many-valued semantics[6/83%]
Craig interpolation theorem[3/100%]
Resolution[1/100%]