A Brief Look at Sequent Calculus

Iowa Type Theory Commute
15/09/2021 11 min Temporada 3 Episodio 7
A Brief Look at Sequent Calculus

Listen "A Brief Look at Sequent Calculus"

Descargar episodio

Episode Synopsis

Sequent calculus is a different style in which proof systems can be formulated, where for each connective, we have a left rule for introducing it (in the conclusion of the rule) in the left part of a sequent G => D (i.e., in G), and similarly a right rule for introducing it in the right part (D).  The beauty of sequent calculus is disjunction is handled without any departure from the general form for sequent calculus rules (unlike disjunction in natural deduction, as we discussed last time).  
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA