Strictly speaking, the sequent calculus is Gentzen's LK.
Author: Nicholas Coltharp (mail@heraplem.xyz)
Last modified: 2026-05-18 Mon 17:22
Emacs 30.2 (Org mode 9.7.11)
Validate