مسألة التتميم في منطق الجبر ثلاثي القيمة
درسنا في هذا البحث مسألة التتميم في منطق الجبر ثلاثي القيمة على منطق لوكاسفيتش ثلاثي القيمة بالنسبة لجملة أدوات منطقية تامة حيث تمت دراسة هذه المسألة في منظومة اشتقاق غاسبرغ وتقديم دراسة شاملة تضمنت أهم النظريات و قواعد الاشتقاق التي تم وضعها والتي أدت إلى تقديم برهان مميز لنظرية التتميم في منطق لوك...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Arabic |
| Published: |
Tishreen University
2017-03-01
|
| Series: | مجلة جامعة تشرين للبحوث والدراسات العلمية، سلسلة العلوم الأساسية |
| Online Access: | http://journal.tishreen.edu.sy/index.php/bassnc/article/view/2552 |