LK

E2036925 UNEXPLORED

LK is a classical first-order sequent calculus system introduced by Gerhard Gentzen, notable for its structural rules and role in proof theory.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label Occurrences
LK canonical 1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

sequent calculus → hasVariant → LK ⓘ