Araştırma özeti:
Araştırma, bazı sezgisel mantık çağrışımlarının hesaplanmasında Heitnik’in formatlarından bazı formülleri inceledi. Heitnik modelinin aksiyomlarına güvenildi, üç türev kuralının, sempati, değiştirme, statü ve önceki formüllerden türetilen yeni formülleri bulmak için Heitnik’deki kanıtlardan yararlandı, Sezgisel mantıkta bazı tamamlayıcı formüllere ulaştık, en önemlisi:

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

Heitnik sistemin bir biçimini kanıtlamak için hakikat ağaçları yöntemi de kullanıldı.
Anahtar Kelimeler: Sezgisel mantık (Intuitionistic logic), Heitnik’in sistemi (Hyting’s system), türetme kuralları (derivation rules), hakikat ağaçları(truth trees), Tamamlanma sorunu (the problem of completion)