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:

    “Sculpture and painting are very justly called liberal arts; a lively and strong imagination, together with a just observation, being absolutely necessary to excel in either; which, in my opinion, is by no means the case of music, though called a liberal art, and now in Italy placed even above the other two—a proof of the decline of that country.”
    —Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    “Hygiene is the corruption of medicine by morality. It is impossible to find a hygienest who does not debase his theory of the healthful with a theory of the virtuous.... The true aim of medicine is not to make men virtuous; it is to safeguard and rescue them from the consequences of their vices.”
    —H.L. (Henry Lewis)