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)

    “To cease to admire is a proof of deterioration.”
    —Charles Horton Cooley (1864–1929)

    “A commodity appears at first sight an extremely obvious, trivial thing. But its analysis brings out that it is a very strange thing, abounding in metaphysical subtleties and theological niceties.”
    —Karl Marx (1818–1883)