PP-2010-20: Intuitionistic implication without disjunction

PP-2010-20: de Lavalette, Gerard R. Renardel and Hendriks, Lex and de Jongh, Dick (2010) Intuitionistic implication without disjunction. [Report]

[thumbnail of Full Text]
Text (Full Text)

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

Download (438B)


We investigate fragments of intuitionistic propositional logic
containing implication but not disjunction. These fragments are
finite, but their size grows superexponentially with the number of
generators. Exact models are used to characterize the fragments.

Item Type: Report
Report Nr: PP-2010-20
Series Name: Prepublication (PP) Series
Year: 2010
Uncontrolled Keywords: intuitionistic logic; implication; exact model
Subjects: Logic
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/399

Actions (login required)

View Item View Item