K ve K4 modal mantıklarının modelleri üzerine
On models of the modal logics K and K4
- Tez No: 304928
- Danışmanlar: PROF. DR. ÇİĞDEM GENCER
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Filtreleme, Tamlık, Filtration, Completeness
- Yıl: 2011
- 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, K ve K4 modal mantıklarının sonlu Henkin yöntemiyle ve filtreleme yöntemiyle elde edilen modal modellerinin izomorf oldukları kanıtlanmıştır. Bu amaçla K ve K4'ün modal tamlığından ve kanonik modellerden yararlanılmıştır.
Özet (Çeviri)
We prove the models obtained for the modal logics K and K4 by the finite Henkin method is isomorphic to the ones obtained by filtration in this thesis. For that purpose we use modal completeness of K, K4 and canonical models.
Benzer Tezler
- Aladağ Volkanı ve dolayının (Akkoz, Kötek ve Hamamlı; Kars İli) volkanostratigrafisi, jeokimyası ve petrolojisi
Volcanostratigraphy, geochemistry and petrology of aladağ volcano and around (Akkoz, Kötek and Hamamli; Kars Province)
OLGUN DURU
Doktora
Türkçe
2019
Jeoloji Mühendisliğiİstanbul Üniversitesi-CerrahpaşaJeoloji Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET KESKİN
- Tip 2 diyabetli sıçan modelinde elektro-akupunkturun (EA) hiperglisemi ve oksidatif stres üzerindeki etkisinin araştırılması
Investigation of the effect of electro-acupuncture (EA) on hyperglycemia and oxidative stress in a rat model with type 2 diabetes
NAWAR IMAD AHMED AHMED
Yüksek Lisans
Türkçe
2022
Sağlık EğitimiSakarya ÜniversitesiFizyoloji Ana Bilim Dalı
PROF. DR. CAHİT BAĞCI
- N,N'-Bis(3-amino-1-aril-propiliden)hidrazin dihidroklorür Tipi Bazı bileşiklerin Sentezi ve Sitotoksik Aktivitesinin Değerlendirilmesi
Evaluation of Syntheses and Cytotoxic Activities of Some N,N?-Bis(3-amino-1-aryl-propylidene)hydrazine dihydrochloride Type Compounds
KAAN KÜÇÜKOĞLU
Doktora
Türkçe
2009
Eczacılık ve FarmakolojiAtatürk ÜniversitesiFarmasötik Kimya Ana Bilim Dalı
PROF. DR. HALİSE İNCİ GÜL
- Elektrohidrolik sir servo sistemin PD, bulanık mantık ve kayan resimli konum kontrolü
PD, fuzzy logic and sliding mode control of a electrohydraulic servo system
MURAT BÜYÜKSAVCI
- Deneysel akut medulla spinalis travmasında kronik alfa tokoferol kullanımının lipid peroksidasyon üzerine etkisi
The Effects of chronic alpha tocopherol administration on lipid peroxidation in an experimental model of acute spinal cord injury
MUSTAFA BOZBOĞA