Sequent calculus

Style of formal logical argumentation From Wikipedia, the free encyclopedia