عنوان مقاله :
مسالة التتميم في منطق الجبر ثلاثي القيمة
پديد آورندگان :
غاليه, يعرب جامعة تشرين - كلية العلوم - قسم الرياضيات, اللاذقية, سوريا , سعاده, مسعود جامعة تشرين - كلية العلوم - قسم الرياضيات, اللاذقية, سوريا
چكيده فارسي :
درسنا في هذا البحث مسالة التتميم في منطق الجبر ثلاثي القيمة على منطق لوكاسفيتش ثلاثي القيمة بالنسبة لجملة ادوات منطقية تامة حيث تمت دراسة هذه المسالة في منظومة اشتقاق غاسبرغ وتقديم دراسة شاملة تضمنت اهم النظريات و قواعد الاشتقاق التي تم وضعها والتي ادت الى تقديم برهان مميز لنظرية التتميم في منطق لوكاسفيتش ثلاثي القيمة.
كليدواژه :
مسالة التتميم , منطق لوكاسفيتش ثلاثي القيمة , نظام اشتقاق غاسبرغ .
عنوان نشريه :
مجلة جامعة تشرين: العلوم الاساسية
