%0 Journal Article
%T Intuitionistic implication without disjunction
%A Renardel de Lavalette, Gerard R.
%A Hendriks, Alex
%A de Jongh, Dick H.J.
%J Journal of Logic and Computation
%V 22
%N 3
%P 375-404
%@ 0955-792X
%D 2012-06-24
%I Oxford University Press
%~ DeepDyve