Titlebook: Gentzen Calculi for Modal Propositional Logic; Francesca Poggiolesi Book 2011 Springer Science+Business Media B.V. 2011 Gentzen calculus.c

管理员

On the Tree-Hypersequent Calculih a proof calculus while showing their limits and their benefits. Our aim in this last part of the book is to present and deeply analyse a new method for generating good extensions of the sequent calculus for the .-systems plus ..

调整校对

Further Results on Tree-Hypersequent Calculit Table 5.4, p. 116. In the second section we will mention logics to which the tree-hypersequent method has been applied that are not modal logics. We will bring our analysis to a close by suggesting further developments employing the framework of tree-hypersequent calculi.

Generator

Book 2011he main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present  the several attempts made from the 50’s until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new