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.

کلیدواژه ها:

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