J SHOHANI - Department Of Mathematics, University Of Sistan and Baluchestan, Zahedan, Iran
R A.BORZOOEI - Department Of Mathematics, University Of Sistan and Baluchestan, Zahedan, Iran & Department Of Mathematics, University of Shahid Beheshti, Tehran, Iran

In this paper we consider twelve classical laws of negation and study their relations in the context of Implication algebras. A classification of the laws of negation is established and some characterizations are obtained. For example, using the concept of tranclation we obtain some characterizations of implication-algebras with minimum. As a consequence we obtain a theorem relating this algebra to Hilbert algebra.

Implication algebras with negation, negation in algebraic structure, Hilbert algebras