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:

    “When children feel good about themselves, it’s like a snowball rolling downhill. They are continually able to recognize and integrate new proof of their value as they grow and mature.”
    —Stephanie Martson (20th century)

    “Could Shakespeare give a theory of Shakespeare?”
    —Ralph Waldo Emerson (1803–1882)