اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدمسألة التتميم في منطق الجبر ثلاثي القيمة
Completeness problem in three valued algebraic logic
438
0 1
0
(
0
)
تمت اﻹضافة من قبل
Shamra Editor
اسأل ChatGPT حول البحث
درسنا في هذا البحث مسألة التتميم في منطق الجبر ثلاثي القيمة على منطق لوكاسفيتش ثلاثي القيمة بالنسبة لجملة أدوات منطقية تامة حيث تمت دراسة هذه المسألة في منظومة اشتقاق غاسبرغ و تقديم دراسة شاملة تضمنت أهم النظريات و قواعد الاشتقاق التي تم وضعها و التي أدت إلى تقديم برهان مميز لنظرية التتميم في منطق لوكاسفيتش ثلاثي القيمة.
We study in this research completeness problem in three valued algebraic logic on Lukasiewicz 3 valued logic for a functionally complete set of connectives where we studied this problem in Wajseberg derivation system and we presented a comprehensive study of the most important theorems and derivation rules which led to a very unique and special proof of completeness theorem in Lukasiewicz 3 valued logic.
المراجع المستخدمة
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
قيم البحث
اقرأ أيضاً
يحاول هذا البحث تسليط الضوء على مسألة أساسية و هامة في المنطق الرمزي و هي مسألة حساب القضايا في منطق برتراند رسل، و التي من خلالها نستطيع التعرف على أنواع القضايا عند رسل و علاقتها بالوقائع نظراً للارتباط الكبير بينهما، و نتعرف أيضاً على وجهة نظره من
القضية الحملية الأرسطية.
و يتناول هذا البحث مسألة دوال الصدق البسيطة التي يعالجها حساب القضايا و يتضمنها على هيئة نسق استنباطي، و يوضح الفرق الواضح بين اللزوم المادي و اللزوم الصوري.
و يتناول أخيراً النسق الاستنباطي في حساب القضايا من خلال كتاب المبادئ الرياضية.
درسنا في هذا البحث حركة نقطة مادية في حقل قضيب مادي متجانس، ثابت، و غير
محدود، حيث قدمنا الصياغة الهملتونية للمسألة، و درسنا المسارات الواقعة في مستويات
تُعامد القضيب. بيّنا الخصائص التناظرية لتلك المسارات، و قدمنا شروط إغلاقها.
درسنا أيضاً حركة ن
قطة مادية حول قضيب متجانس ثابت، و محدود. حيث قدمنا
الصياغة الهملتونية، و بيّنا خصوصية مستوي تناظر القضيب، و درسنا الحركة في ذلك
المستوي. بيّنا وجود مسارات مستوية غير محدودة، و أخرى محدودة، و بعضها مغلق. بيّنا
أيضاً أنه عندما لا تنعدم السرعة الزاوية، لا توجد مسارات تقود للاصطدام بالقضيب.
نقدم في هذا البحث المتغيرات العشوائية النيتروسوفيكية و التي هي عبارة عن تعميم
للمتغيرات العشوائية الكلاسيكية و التي حصلنا عليها من تطبيق منطق النيتروسوفيك ( و هو
منطق جديد غير كلاسيكي تم تأسيسه من قبل الفيلسوف و الرياضي الأميركي فلورنتن
سمارانداكه
Florentin Smarandache الذي قدمه كتعميم للمنطق الضبابي و خاصة
المنطق الضبابي الحدسي ) على المتغيرات العشوائية الكلاسيكية .
نقدم نظاما للتعلم أنماط التعلم المعممة أو النمطية للأحداث - أو المخططات "--- من قصص اللغة الطبيعية، وتطبيقها على إجراء تنبؤات حول القصص الأخرى.يتم تمثيل مخططاتنا منطق Episodic، وهو شكل منطقي يعكسان عن كثب اللغة الطبيعية.من خلال البدء بمجموعة "مجموعة
من البروتوشما" --- مخططات أن الطفل الذي يبلغ من العمر عامين، من المحتمل أن يعرفه الطفل --- يمكننا الحصول على معرفة عالمية مفيدة وعصرية مع أمثلة قليلة جدا - - في كثير من الأحيانواحد او اثنين.يمكن دمج المخططات المستفادة في مخططات أكثر تعقيدا ومركبة، وتستخدم لإجراء تنبؤات في قصص أخرى حيث تتوفر معلومات جزئية فقط.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
