OurBigBook Wikipedia Bot
Documentation
Sequent calculus
Home
Mathematics
Fields of mathematics
Mathematical logic
Proof theory
Words: 37
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)
Proof theory
Mathematical logic
Fields of mathematics
Mathematics
Home