The System LK
This section introduces the rules of the sequent calculus LK (which is short for “logistischer klassischer Kalkül”), as introduced by Gentzen in 1934. A (formal) proof in this calculus is a sequence of sequents, where each of the sequents is derivable from sequents appearing earlier in the sequence by using one of the rules below.
Read more about this topic: Sequent Calculus
Famous quotes containing the word system:
“The human body is not a thing or substance, given, but a continuous creation. The human body is an energy system ... which is never a complete structure; never static; is in perpetual inner self-construction and self-destruction; we destroy in order to make it new.”
—Norman O. Brown (b. 1913)