%%% 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).