Editing Sequent calculus (section)

==External links==
*{{cite encyclopedia <!-- Template:Cite SEP does not give same results -->
 |author-last=Rathjen
 |author-first=Michael
 |author-last2=Sieg
 |author-first2=Wilfried
 |date=2024
 |url=https://plato.stanford.edu/archives/win2024/entries/proof-theory/#SequCalc
 |title=Proof Theory (Sequent Calculi)
 |editor-last1=Zalta
 |editor-first1=Edward N.
 |editor-link1=Edward N. Zalta
 |editor-last2=Nodelman
 |editor-first2=Uri
 |encyclopedia=[[Stanford Encyclopedia of Philosophy]]
 |edition=Winter 2024
}}
* {{springer|title=Sequent calculus|id=p/s084580}}
* {{cite web
 |url=https://scienceblogs.com/goodmath/2006/07/17/a-brief-diversion-sequent-calc/
 |title=A Brief Diversion: Sequent Calculus
 |website=Good Math, Bad Math
 |access-date=2025-03-27
}}
* {{cite web
 |url=http://logitext.mit.edu/logitext.fcgi/tutorial
 |title=Interactive Tutorial of the Sequent Calculus
 |website=Logitext (MIT)
 |access-date=2025-03-27
}}

[[Category:Proof theory]]
[[Category:Logical calculi]]
[[Category:Automated theorem proving]]
{{Diagrams in logic}}