An equivalent definition of lattice implication algebras / Kafes implikasyon cebirlerinin denk bir tanımı

Abstract

BU TEZDE AKSİYOMLARIN SAYISINI İNDİRGEYEREK BİR KAFES İMPLİKASYON CEBİRİNİN DENK BİR TANIMINI VERİYORUZ VE BU ŞEKİLDE BİR LIA'NIN HER ZAMAN KABUL GÖREN TANIMINI ÖNEMLİ ÖLÇÜDE SADELEŞTİRDİĞİMİZİ DÜŞÜNÜYORUZ. IN THIS THESIS, WE GİVE AN EQUIVALENT DEFINITION OF A LATTICE IMPLICATION ALGEBRA (LIA) VIA A REDUCED NUMBER OF AXIOMS, AND HEREBY WE THINK WE HAVE SIGNIFICANTLY SIMPLIED THE WIDELY-ACCEPTED DEFINITION OF AN LIA