Sahlqvist formülleri ve tamlık

Yükleniyor...
Küçük Resim

Tarih

2007

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.

Kaynak

WoS Q Değeri

Scopus Q Değeri

Cilt

Sayı

Künye