ملخص البحث:
تناول البحث دراسة بعض الصيغ من أنساق هيتنك وذلك في حساب بعض دلالات المنطق الحدسي حيث تم الاعتماد على بديهيات نسق هيتنك واستخدام قواعد الاشتقاق الثلاث العطف والاستبدال والوضع والاستفادة من المبرهنات الموجودة في نسق هيتنك لإيجاد صيغ جديدة مشتقة من صيغ سابقة، وتوصلنا لبعض أشكال الصيغ المتممة في المنطق الحدسي، أهمها:
K ,K⊃L ,K⊃( L⊃M) ⊢L∨M
L⊃M ,K⊃L ,K⊃M ⊢(L∨K)⊃(L∧M)
L⊃K ,M⊃K ,L∧M ⊢K∧L
كما تم استخدام طريقة أشجار الصدق لإثبات صيغة من نسق هبتنك.
كلمات مفتاحية: المنطق الحدسي (Intuitionistic logic)، نسق هيتنك (Hyting’s system)، قواعد الاشتقاق (derivation rules)، أشجار الصدق (truth trees)، مسألة التتميم (the problem of completion)