Back to Search
Start Over
Deductions in the Style of Gentzen’s Sequent Calculus
- 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