Intuitionistic implication without disjunction
Gerard R. Renardel de Lavalette, A. Hendriks, Dick H. J. de Jongh · Journal of Logic and Computation · 2010
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.