Sahlqvist formülleri ve tamlık
Yükleniyor...
Dosyalar
Tarih
2007
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Ege Üniversitesi
Erişim Hakkı
info:eu-repo/semantics/openAccess
Özet
Giriş ve Ön Bilgiler bölümleri dışında bu tez, esas olarak iki bölümden oluşmaktadır. 3. bölümde; modeller teorisinin kısa bir tanıtımı yapıldıktan sonra; çeşitli normal modal lojikler tanımlanmıştır. Bu lojiklerden özellikle S4 üzerinde durulmuş ve kanonik modeller aracılığıyla McKinsey-Tarski Teoremi çerçevesinde tamlığı ele alınmıştır. 4. bölümde önce çeşitli normal modal lojiklerin belirli çatı sınıflarına göre tamlığı gösterilmiş ve örneklenmiştir. Sonra Sahlqvist Algoritması ayrıntılı tanıtılmış ve Sahlqvist Teoremi genel bir örnek üzerine dayalı olarak ispatlanmıştır. Algoritmanın etkinliği üç örnekle gözler önüne sergilenmiştir.
Açıklama
Anahtar Kelimeler
Sahlqvist formülleri, tamlık, modal lojik., Sahlqvist formulas, completeness and modal logics., Matematik A.B.D.