Gentzen's (1934) formal system manipulating sequents Γ ⊢ Δ by structural and logical rules. The left/right rules treat connectives symmetrically and admit proof search.
Gentzen's (1934) formal system manipulating sequents Γ ⊢ Δ by structural and logical rules. The left/right rules treat connectives symmetrically and admit proof search.