S4 ve GL modal mantıklarının modelleri üzerine
On models of the modal logics S4 and GL
- Tez No: 320800
- Danışmanlar: PROF. DR. ÇİĞDEM GENCER
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Mantık, Modal mantık, Tamlık, Logic, Modal logic, Completeness
- Yıl: 2012
- Dil: Türkçe
- Üniversite: İstanbul Kültür Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik ve Bilgisayar Bilimleri Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu tezde, S4 ve GL modal mantıklarının sonlu Henkin ve filtreleme yöntemiyle elde edilen modellerinin izomorf olduğu ispatlanmıştır. Bu amaçla S4 ve GL modal mantıklarının modal tamlığından ve kanonik modellerinden yararlanılmıştır.
Özet (Çeviri)
We prove in this thesis that the models for the modal logics S4 and GL obtained by the finite Henkin method are isomorphic to the ones obtained by the filtration. For that purpose, we use the completeness and canonical models.
Benzer Tezler
- Nonstandard lojikler için türetim kurallarının incelenmesi
Analisys of inference rules for nonstandard logics
TAHSİN ÖNER
- Deneysel temas tipi yanıklarda Hyperıcum perforatum (Sarı kantaron) tedavisi ile Alpına offıcınarum ( Havlıcan) tedavisinin yara iyileşmesi üzerine etkilerinin karşılaştırılması
Comparison of the effects of Hypericum perforatum (St john's wort) treatment and Alpina officinarum (Galangal) treatment on the wound healing in experimental contact burns
HALİL UĞUR SAVAŞ
Tıpta Uzmanlık
Türkçe
2014
İlk ve Acil YardımEge ÜniversitesiCerrahi Tıp Bilimleri Bölümü
DOÇ. DR. GÜÇLÜ SELAHATTİN KIYAN
- Elektro eğirme yöntemi ile hazırlanan polimerik fiberlerin biomedikal ve sensör uygulamaları
Biomedical and sensor applications of polymeric fibers obtained by electrospinning method
SALİHA BÜŞRA KURT
Yüksek Lisans
Türkçe
2021
Polimer Bilim ve TeknolojisiÇanakkale Onsekiz Mart ÜniversitesiKimya Ana Bilim Dalı
PROF. DR. NURETTİN ŞAHİNER
- Ekşi hamurdan fitaz aktivitesi yüksek maya ve laktik asit bakterilerinin izolasyonu ve bu izolatların tam buğday ekmeği üretiminde kullanılması
Isolation of high phytase active yeasts and lactic acid bacteria from sourdough and their usage in the production of whole wheat bread
KEVSER KARAMAN
Doktora
Türkçe
2017
Gıda MühendisliğiErciyes ÜniversitesiGıda Mühendisliği Ana Bilim Dalı
PROF. DR. OSMAN SAĞDIÇ
- Eğirdir Gölü çevresi sulak alanlarındaki tıbbi sülük (Hirudo verbana Carena, 1820) popülasyonlarının ekoloji, popülasyon büyüklüğü ve av verimlerinin belirlenmesi
Determination of ecology, population size and catch efficiency of medicinal leech (Hirudo verbana Carena, 1820) populations in wetlands around Lake Eğirdir
MUSTAFA CEYLAN
Doktora
Türkçe
2016
BiyolojiSüleyman Demirel ÜniversitesiSu Ürünleri Temel Bilimleri Ana Bilim Dalı
PROF. DR. OSMAN ÇETİNKAYA