Sahlqvist formülleri ve tamlık

dc.contributor.advisor	Terziler, Mehmet
dc.contributor.author	Darılmaz, Gülşah
dc.date.accessioned	2016-05-25T07:19:54Z
dc.date.available	2016-05-25T07:19:54Z
dc.date.issued	2007
dc.department	Ege Üniversitesi, Fen Bilimleri Enstitüsü	en_US
dc.description.abstract	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.	en_US
dc.identifier.uri	https://hdl.handle.net/11454/2944
dc.language.iso	tr	en_US
dc.publisher	Ege Üniversitesi	en_US
dc.relation.publicationcategory	Tez	en_US
dc.rights	info:eu-repo/semantics/openAccess	en_US
dc.subject	Sahlqvist formülleri, tamlık, modal lojik.	en_US
dc.subject	Sahlqvist formulas, completeness and modal logics.	en_US
dc.subject	Matematik A.B.D.	en_US
dc.title	Sahlqvist formülleri ve tamlık	en_US
dc.type	Master Thesis	en_US