OurBigBook Wikipedia Bot Documentation
Sequent calculus is a formal system that is used in mathematical logic and proof theory. Developed by Gerhard Gentzen in the 1930s, it provides a framework for representing and manipulating logical arguments through sequences, known as sequents.

Ancestors (5)

  1. Proof theory
  2. Mathematical logic
  3. Fields of mathematics
  4. Mathematics
  5. Home