Sindbad~EG File Manager
����; � TeX output 2005.08.26:2252� ������j֍����*�1F'����-.��src:25dn.tex�D��t G� G� cmr17�Double-Negation�7tElimination�in�Some�Prop�s�ositional�� �� ��pLogics��lύ�����W<�����@ cmti12�Michael�35Be��ffeson��� ���=Qr�X�Q cmr12�San��Jose�State�Univ��rersit�y������:��Math��&�Computer�Science������L �San��Jose,�CA�95192������������R��ffob�ert�35V���er�o��� ��� �E[�Univ��rersit�y��of�New�Mexico������ ��Departmen��rt��of�Computer�Science������ ���Albuquerque,��NM�87131������=������� �C�L��ffarry�35Wos��� ���m��Mathematics��and�Computer�Science�Division������ ��Argonne��National�Lab�S�oratory������ �*Argonne,��IL�60439-4801������BY��� ��August��26,�2005��?�y��- ���N� cmbx12�Abstract��q���- �src:41dn.tex�K�`y
�3
cmr10�This�0earticle�answ��!ers�t�w�o�questions�(p�M�osed�in�the�literature),�G�eac�h�concerning��
����- the�Vxguaran��!teed�existence�of�pro�M�ofs��� ':
�3
cmti10�fr��p�e�e���of�double�ne��p�gation�.��A�VKpro�of�Vxis�free����- of��,double�negation�if�none�of�its�deduced�steps�con��!tains�a�term�of�the�form����- ��b>