Sahlqvist formülleri ve tamlık
Sahlqvist formulas and completeness
- Tez No: 200600
- Danışmanlar: PROF.DR. MEHMET TERZİLER
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2007
- Dil: Türkçe
- Üniversite: Ege Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 57
Özet
Özet yok.
Özet (Çeviri)
Özet çevirisi mevcut değil.
Benzer Tezler
- Modal lojik ve klasik lojik arasındaki ilişki
Relationship between modal logic and classical logic
ZAFER ÖZDEMİR
- Önermesel modal dilinin farklı semantikleri
Different semantics of the propositional modal language
GÜLŞAH ÖNER