PP-2016-12: de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh (2016) Weak Subintuitionistic Logics. [Report]
Preview |
Text (Full Text)
PP-2016-12.text.pdf Download (136kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2016-12.abstract.txt Download (1kB) |
Abstract
A system WF of subintuitionistic logic is introduced, weaker than Corsi's basic subintuitionistic system F. A derivation system with and without hypotheses is given in line with the authors' derivation system for F. A neighborhood semantics is introduced with a somewhat more complex definition than the neighborhood semantics for non-normal modal logics. Completeness is proved for WF with respect to this neighborhood semantics, and similarly for some logics between WF and F which characterize nice frame classes. The study by the authors of the conservativity of IPC over F with respect to some classes of implications is extended to WF, and shows clearly the difference in strength between the two logics. Study of translations of these weak subintuitionistic logics into non-normal modal logics turned out to be hard because of the difference between their respective neighborhood structures and leaves us with some open problems.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2016-12 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2016 |
| Uncontrolled Keywords: | intuitionistic logic, subintuitionistic logic, modus ponens, translation, 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/548 |
Actions (login required)
 |
View Item |
