سال انتشار: ۱۳۸۶
محل انتشار: سی و هشتمین کنفرانس ریاضی ایران
تعداد صفحات: ۳
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.