Completeness

PermutationLemmas

Base

Formula

Sequents

Tree

Completeness

Soundness