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:
“Psychoanalysis is an attempt to examine a person’s self-justifications. Hence it can be undertaken only with the patient’s cooperation and can succeed only when the patient has something to gain by abandoning or modifying his system of self-justification.”
—Thomas Szasz (b. 1920)
Related Phrases
Related Words