PP-2016-13: Subintuitionistic Logics with Kripke Models

PP-2016-13: de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh (2016) Subintuitionistic Logics with Kripke Models. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (123kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (595B)


The subintuitionistic logics introduced by Corsi and Restall are developed in a uniform manner. Proof systems are given for derivations without and with assumptions. The results are applied to give conservation theorems for intuitionistic logic IPC over Corsi's system F. For Visser's basic logic strong completeness is proved and additional conservation results are obtained.

Item Type: Report
Report Nr: PP-2016-13
Series Name: Prepublication (PP) Series
Year: 2016
Uncontrolled Keywords: intuitionistic logic, subintuitionistic logic, basic logic, modus ponens, completeness, conservativity
Subjects: Logic
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/549

Actions (login required)

View Item View Item