List of Mathematical Logic Topics - Proof Theory

Proof Theory

  • Metamathematics
  • Cut-elimination
  • Tarski's indefinability theorem
  • Diagonal lemma
  • Provability logic
  • Interpretability logic
  • Sequent
  • Sequent calculus
  • Analytic proof
  • Structural proof theory
  • Self-verifying theories
  • Substructural logics
    • Structural rule
      • Weakening
      • Contraction
    • Linear logic
      • Intuitionistic linear logic
      • Proof net
    • Affine logic
    • Strict logic
    • Relevant logic
  • Proof-theoretic semantics
  • Ludics
  • System F
  • Gerhard Gentzen
  • Gentzen's consistency proof
  • Reverse mathematics
  • Nonfirstorderizability
  • Interpretability
  • Weak interpretability
  • Cointerpretability
  • Tolerant sequence
  • Cotolerant sequence
  • Deduction theorem

Read more about this topic:  List Of Mathematical Logic Topics

Famous quotes containing the words proof and/or theory:

    “The thing with Catholicism, the same as all religions, is that it teaches what should be, which seems rather incorrect. This is “what should be.” Now, if you’re taught to live up to a “what should be” that never existed—only an occult superstition, no proof of this “should be”Mthen you can sit on a jury and indict easily, you can cast the first stone, you can burn Adolf Eichmann, like that!”
    —Lenny Bruce (1925–1966)

    “... liberal intellectuals ... tend to have a classical theory of politics, in which the state has a monopoly of power; hoping that those in positions of authority may prove to be enlightened men, wielding power justly, they are natural, if cautious, allies of the “establishment.””
    —Susan Sontag (b. 1933)