Strictly speaking, the sequent calculus is Gentzen's LK.
Author: Nicholas Coltharp
Created: 2026-03-18 Wed 00:00
Validate