TY - JOUR
AU - de Jongh, Dick H.J.
AB - 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.
TI - Intuitionistic implication without disjunction
JO - Journal of Logic and Computation
DO - 10.1093/logcom/exq058
DA - 2012-06-24
UR - https://www.deepdyve.com/lp/oxford-university-press/intuitionistic-implication-without-disjunction-1a3Isn1KH7
SP - 375
EP - 404
VL - 22
IS - 3
DP - DeepDyve
ER -