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]
Preview
 Text (Full Text)
PP-2010-20.text.pdf
Download (268kB) | Preview
[thumbnail of Abstract] Text (Abstract)
PP-2010-20.abstract.txt
Download (438B)

Abstract

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
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility