PP-2016-13: de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh (2016) Subintuitionistic Logics with Kripke Models. [Report]
Preview |
Text (Full Text)
PP-2016-13.text.pdf Download (123kB) | Preview |
Text (Abstract)
PP-2016-13.abstract.txt Download (595B) |
Abstract
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 |