MoL-2015-18: Lauridsen, Frederik Möllerström (2015) One-Step Algebras and Frames for Modal and Intuitionistic Logics. [Report]
Preview |
Text (Full Text)
MoL-2015-18.text.pdf Download (720kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
MoL-2015-18.abstract.txt Download (841B) |
Abstract
This thesis is about one-step algebras and frames and their relation to the proof theory of non-classical logics. We show how to adapt the framework of modal one-step algebras and frames from [11] to intuitionistic logic. We prove that, as in the modal case, extension properties of one-step Heyting algebras can characterize a certain weak analytic subformula property (the bounded proof property) of hypersequent calculi. We apply our methods to a number of hypersequent calculi for well-known intermediate logics. In particular, we present a hypersequent calculus for the logic BD3 with the bounded proof property. Finally, we establish a connection between modal one-step algebras and filtrations.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2015-18 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2015 |
| Uncontrolled Keywords: | logic, mathematics |
| Subjects: | Logic |
| Date Deposited: | 12 Oct 2016 14:38 |
| Last Modified: | 12 Oct 2016 14:38 |
| URI: | https://eprints.illc.uva.nl/id/eprint/959 |
Actions (login required)
 |
View Item |
