PP-2016-12: Weak Subintuitionistic Logics

PP-2016-12: de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh (2016) Weak Subintuitionistic Logics. [Report]

[thumbnail of Full Text]
Text (Full Text)

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

Download (1kB)


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 View Item