نقدم طريقة لتحسين جميع النطاقات الكمي التي يمكن استخراجها من اشتقاق CCG واحد.للقيام بذلك، نبني على اقتراح Steedman (1999، 2011) حيث يتم التعامل مع جميع الكميات الوجودية كدام Skolem.نقوم بتوسيع النهج من خلال إدخال تمثيل أفضل معبأ لجميع المواصفات الممك
نة التي تتضمن أيضا عناوين العقدة حيث تحدث المواصفات.هذه العناوين ضرورية لاستعادة جميع القراءات المحتملة فقط.
يتناول البحث الصداقة ليست بوصفها علاقة اجتماعيّة إيجابيّة حافلة بالقيم الأخلاقيّة الثرّة فقط ، بل بِعدِّها أساساً وجوديّاً مهمّا يستنبط الذّات الإنسانيّة على مستوى الحياة؛ انطلاقاً من أهميّة وجود الصديق في استيعاب الطّرف المقابل ، الذي يمثّل الشخصيّا
ت الرئيسة في الأعمال الروائيّة المتناولة بالبحث. يقوم البحث على تقديم مقاربة اجتماعيّةــ فلسفيّة، تستنبط مفهوم الصداقة من منظورٍ مقارن، يجمع بين أعمال روائيّة مختلفة في الزمن و الموضوع ؛ من أجل إيصال كنه العلاقة التي تتجاوز كونها رابطاً احتوائيّاً؛ يتعايش فيه الصديق مع صديقه، إلى مُحاور الذّات ، و استنطاق الآخر في الشخصيّات الرئيسة، الذي يكشف عن أكوانها الوجوديّة الخاصّة، المُتشكّلة من تلاحم فضاء التجربة الحياتيّة مع أفق الواقع، الذي ترسمه العلاقة بصيرورةِ ديناميّتها. يخلص البحث إلى أنّ الصداقة خطاب حيويّ فعّال، يستنبطُ فيه الطّرف الأقوى عقلانيّة ذات الطرف الأضعف اجتماعيّاً ، يُفصح عنها ، مبيّناً موقفها من نفسها و العالم من حولها.
درسنا في هذا البحث مسألة التتميم في منطق الجبر ثلاثي القيمة على منطق لوكاسفيتش ثلاثي القيمة بالنسبة لجملة أدوات منطقية تامة حيث تمت دراسة هذه المسألة في منظومة اشتقاق غاسبرغ و تقديم دراسة شاملة تضمنت أهم النظريات و قواعد الاشتقاق التي تم وضعها و التي
أدت إلى تقديم برهان مميز لنظرية التتميم في منطق لوكاسفيتش ثلاثي القيمة.
