PP-2015-21: One-step Heyting algebras and hypersequent calculi with the bounded proof property

PP-2015-21: Bezhanishvili, Nick and Ghilardi, Silvio and Lauridsen, Frederik Möllerström (2015) One-step Heyting algebras and hypersequent calculi with the bounded proof property. [Report]

[img]
Preview
Text (Full Text)
PP-2015-21.text.pdf

Download (460kB) | Preview
[img] Text (Abstract)
PP-2015-21.abstract.txt

Download (704B)

Abstract

We introduce a new weakly analytic subformula property (the bounded proof property) of hypersequent calculi for intermediate logics. We define one-step Heyting algebras and establish semantic criteria characterizing the bounded proof property in terms of these algebraic structures. Finally, using these criteria, we provide a number of examples of calculi for intermediate logics with and without the bounded proof property.

Item Type: Report
Report Nr: PP-2015-21
Series Name: Prepublication (PP) Series
Year: 2015
Uncontrolled Keywords: intermediate logics, hypersequent calculi, bounded proof property, finite model property, duality.
Subjects: Logic
Depositing User: flaurid1
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/532

Actions (login required)

View Item View Item