Back to Search Start Over

Deductions in the Style of Gentzen’s Sequent Calculus

Authors :
Mauricio Ayala-Rincón
Flávio L. C. de Moura
Source :
Undergraduate Topics in Computer Science ISBN: 9783319516516
Publication Year :
2017
Publisher :
Springer International Publishing, 2017.

Abstract

In this chapter, we present a style of deduction known as Gentzen’s sequent calculus that is different from the one of natural deduction (both invented by Gerhard Gentzen) and has relevant computational interest and applications.

Details

ISBN :
978-3-319-51651-6
ISBNs :
9783319516516
Database :
OpenAIRE
Journal :
Undergraduate Topics in Computer Science ISBN: 9783319516516
Accession number :
edsair.doi...........43482aff305a9156927d9ecae46723fd
Full Text :
https://doi.org/10.1007/978-3-319-51653-0_3