İsimlerin kardinalite karşılaştırmasından ve kesişen sıfatlardan oluşan bir sillojistik lojiğin algoritmik analizi ve bir bilgisayar uygulaması

Hazırlanan çalışmanın giriş bölümünde, tezin oluşmasında rol alan tarihsel bilgiler ve tez hakkında genel bilgi verilmiştir. İkinci kısımda, Aristo sillojizminin klasik ve modern bakış açıları hakkında bilgiler verilmiştir. Ayrıca klasik ve modern sillojizm arasındaki farklılıklardan bahsedilmiştir. Üçüncü kısımda materyaller bölümünde ise tezin daha rahat anlaşılabilmesi için gerekli tanımlar verilmiştir. Dördüncü ve son bölümde L(More,IA) dilinin lojiğine ait türetim ve karşıt model algoritmaları verildi ayrıca bu algoritmalarınbir uygulaması Python programı kullanılarak oluşturuldu.