NEGATION AND IMPLICATION ALGEBRAS

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.

Keywords:

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