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:
“Television is an excellent system when one has nothing to lose, as is the case with a nomadic and rootless country like the United States, but in Europe the affect of television is that of a bulldozer which reduces culture to the lowest possible denominator.”
—Marc Fumaroli (b. 1932)
Related Phrases
Related Words