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]

Text (Full Text)

Download (268kB) | Preview
[img] 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