%%% Natural deduction %%% Additional rules for classical logic. %%% Author: Frank Pfenning falsec : (nd (not A) -> nd (false)) -> nd A. notnotc : nd (not not A) -> nd A. xm : nd (A or not A).