MoL-2015-18: One-Step Algebras and Frames for Modal and Intuitionistic Logics

MoL-2015-18: Lauridsen, Frederik Möllerström (2015) One-Step Algebras and Frames for Modal and Intuitionistic Logics. [Report]

[img]
Preview
Text (Full Text)
MoL-2015-18.text.pdf

Download (720kB) | Preview
[img] 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 View Item