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: Belirtilmemiş.
- Yıl: 2012
- Dil: Türkçe
- Üniversite: İstanbul Kültür Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Bilgisayar Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 72
Ö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
- Atık su uygulamalarında ağır metal akümülatörü olarak kanola' nın (Brassica napus L.) etkinliği
The efficiency of canola (Brassica napus L.) as an accumulator of heavy metals in the wastewater applications
TALİP ÇAKMAKCI
Yüksek Lisans
Türkçe
2011
ZiraatSüleyman Demirel ÜniversitesiTarımsal Yapılar ve Sulama Ana Bilim Dalı
YRD. DOÇ. DR. YUSUF UÇAR
- Polen, propolis ve nohut ilavesiyle üretilen organik kestane balı sirkelerinin fiziksel, kimyasal ve biyoaktif bileşenlerinin tespiti
Doped up propolis, pollen, chickpea production of organic chestnut honey vinegar determination of physical, chemical and bioactive components
HAVVA NUR KOBYA
Yüksek Lisans
Türkçe
2018
Gıda MühendisliğiGümüşhane ÜniversitesiGıda Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ CEMALETTİN BALTACI
- Farklı elementlerle zenginleştirilmiş Spirulina platensis'in domates bakteriyel solgunluk hastalığının mücadelesinde kullanımı ve etki mekanizması
Use and mechanism of effect of Spirulina platensis enriched with different elements in the control of tomato bacterial wilt disease
YASEMİN BARIŞ
Doktora
Türkçe
2023
Su ÜrünleriÇukurova ÜniversitesiSu Ürünleri Temel Bilimleri Ana Bilim Dalı
PROF. DR. OYA IŞIK
PROF. DR. YEŞİM AYSAN