Tag: sequent calculus

1 events with tag "sequent calculus"

1935 ID: 372

Gerhard Gentzen introduces natural deduction and sequent calculus, revolutionizing proof theory

ID: 372

Göttingen University