PP-2014-05: Bezhanishvili, Nick and Ghilardi, Silvio (2014) Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. [Report]
Preview |
Text (Full Text)
PP-2014-05.text.pdf Download (287kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2014-05.abstract.txt Download (770B) |
Abstract
We investigate proof theoretic properties of logical systems via
algebraic methods. We introduce a calculus for deriving
multiple-conclusion rules and show that it is a Hilbert style
counterpart of hyper-sequent calculi. Using step-algebras we develop a
criterion establishing the bounded proof property and nite model
property for these systems. Finally, we show how this criterion can be
applied to universal classes axiomatized by certain canonical rules,
thus recovering and extending known results from both semantically and
proof-theoretically inspired modal literature
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2014-05 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2014 |
| Uncontrolled Keywords: | multiple-conclusion rules; hypersequents; step algebras; step frames |
| Depositing User: | Nick Bezhanishvili |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/493 |
Actions (login required)
 |
View Item |
