Proof Theory - Logics From Proof Analysis

Logics From Proof Analysis

Several important logics have come from insights into logical structure arising in structural proof theory.

Read more about this topic:  Proof Theory

Famous quotes containing the words logics, proof and/or analysis:

    “When logics die,
    The secret of the soil grows through the eye,
    And blood jumps in the sun;
    Above the waste allotments the dawn halts.”
    —Dylan Thomas (1914–1953)

    “The chief contribution of Protestantism to human thought is its massive proof that God is a bore.”
    —H.L. (Henry Lewis)

    “Ask anyone committed to Marxist analysis how many angels on the head of a pin, and you will be asked in return to never mind the angels, tell me who controls the production of pins.”
    —Joan Didion (b. 1934)