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)

    “Lucretius
    Sings his great theory of natural origins and of wise conduct; Plato
    smiling carves dreams, bright cells
    Of incorruptible wax to hive the Greek honey.”
    —Robinson Jeffers (1887–1962)