On propositional calculus the completeness of Hilbert, Hilbert-Ackermann, Lukasiewicz and Wajsberg's Axiomatic systems
العناوين الأخرى
في حسبان القضايا إكتمال الأنسقة المنطقية لهلبرت، هلبرت-أكرمان، ليكوزوفيج و واجسبيرج
مقدم أطروحة جامعية
مشرف أطروحة جامعية
الجامعة
جامعة أم درمان الإسلامية
الكلية
كلية العلوم و التقانة
القسم الأكاديمي
قسم الرياضيات
دولة الجامعة
السودان
الدرجة العلمية
ماجستير
تاريخ الدرجة العلمية
2008
الملخص الإنجليزي
In this thesis I have discussed the notions and the language Axiomatic system, and I have proved four axiomatic systems (Formal system L, Hilbert-Ackermann, Łukasiewicz and Wajsberg Axiomatic system) by using theory for propositional logic.
And then I have studied properties of axiomatic system such as Completeness, Consistency and Independence. In Proportion to independency of axioms I used programs to get mathematical models to prove each one alone for all systems.
التخصصات الرئيسية
الموضوعات
عدد الصفحات
128
قائمة المحتويات
Table of contents.
Abstract.
Chapter One : Background, definitions and language.
Chapter Two : Formal system L.
Chapter Three : Hilbert–ackermann axiomatic system.
Chapter Four : Lukasiewicz axiomatic system.
Chapter Five : Wajsberg axiomatic system.
Chapter Six : The completeness and soundness of the system (LG).
Chapter Seven : Independency.
References.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
al-Sadi, Hasan Shimran Ghazal. (2008). On propositional calculus the completeness of Hilbert, Hilbert-Ackermann, Lukasiewicz and Wajsberg's Axiomatic systems. (Master's theses Theses and Dissertations Master). Omdurman Islamic University, Sudan
https://search.emarefa.net/detail/BIM-367673
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
al-Sadi, Hasan Shimran Ghazal. On propositional calculus the completeness of Hilbert, Hilbert-Ackermann, Lukasiewicz and Wajsberg's Axiomatic systems. (Master's theses Theses and Dissertations Master). Omdurman Islamic University. (2008).
https://search.emarefa.net/detail/BIM-367673
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
al-Sadi, Hasan Shimran Ghazal. (2008). On propositional calculus the completeness of Hilbert, Hilbert-Ackermann, Lukasiewicz and Wajsberg's Axiomatic systems. (Master's theses Theses and Dissertations Master). Omdurman Islamic University, Sudan
https://search.emarefa.net/detail/BIM-367673
لغة النص
الإنجليزية
نوع البيانات
رسائل جامعية
رقم السجل
BIM-367673
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر