نشر في جامعة تشرين
بتاريخ 2016
في مجال
والبحث باللغة
العربية
تحميل البحث
الملخص بالعربية
درسنا في هذا البحث مسألة التتميم في منطق الجبر ثلاثي القيمة على منطق لوكاسفيتش ثلاثي القيمة بالنسبة لجملة أدوات منطقية تامة حيث تمت دراسة هذه المسألة في منظومة اشتقاق غاسبرغ و تقديم دراسة شاملة تضمنت أهم النظريات و قواعد الاشتقاق التي تم وضعها و التي أدت إلى تقديم برهان مميز لنظرية التتميم في منطق لوكاسفيتش ثلاثي القيمة.
المراجع المستخدمة
BERGMANN, MERRIE,JAMES, H.MOOR and JACK NELSON. The Logic Book, 4th ed. New York: McGraw-Hill, 2004 , 71-90 , 100-114
S. AGUZZOLI and A. CIABATTONI “Finiteness in Infinite-Valued _Lukasiewicz Logic.”Journal of Logic, Language, and Information 9, 2000, -17
BEALL J.C. and BAS C. and VAN FRAASSEN Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic. New York: Oxford University Press, 2003, 75-92