Geri Dön

Normal olmayan modal lojikler ve semantikler

Non-normal modal logics and semantics

  1. Tez No: 573663
  2. Yazar: SÜLEYMAN POLAT
  3. Danışmanlar: PROF. DR. MEHMET TERZİLER
  4. Tez Türü: Doktora
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2019
  8. Dil: Türkçe
  9. Üniversite: Yaşar Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Matematik Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 105

Özet

NORMAL OLMAYAN MODAL LOJİKLER VE SEMANTİKLER Polat, Süleyman Doktora Tezi, Matematik Danışman: Prof. Dr. Mehmet TERZİLER Bu tezde; temel modal önermesel dil baz alınarak normal ve normal olmayan modal lojikler üzerine yapılan çalışmalar ayrıntılı kanıtlarla gözden geçirilmiştir. Bu lojikler için tanımlanan bağıntısal, topolojik, komşuluk ve cebirsel semantikler tezin son bölümünde karşılaştırılmış ve aşağıdaki sonuçlar elde edilmiştir: •Bağıntısal semantik komşuluk semantiğinin bir alt semantiğidir. •Komşuluk semantiği cebirsel semantiğin bir alt semantiğidir. •Her cebirsel(dolayısıyla her komşuluk, her bağıntısal) çatı klasiktir.“Bağıntısal çatılar (a izomorf) olmayan normal komşuluk çatılarının olup olmadığı ve varsa bağıntısal çatılar (a izomorf) olan komşuluk çatılarının nasıl karakterize edildiği”sorusuna sırasıyla 𝙚𝙨𝙖𝙨 𝙨𝙪̈𝙯𝙜𝙚ç ve 𝙖𝙩𝙤𝙢𝙡𝙪 𝘽𝙤𝙤𝙡𝙚 𝙘𝙚𝙗𝙞𝙧𝙞 kavramları kullanılarak yanıt verilmiştir. Ayrıca Sezgisel Önermeler Lojiği (IPL) için Kripke semantiği, Heyting semantiği ve Topolojik semantiği sunuluyor.IPL'nin bu semantiklere göre sağlam ve tam olduğu gösteriliyor. 𝘼𝙣𝙖𝙝𝙩𝙖𝙧 𝙨𝙤̈𝙯𝙘𝙪̈𝙠𝙡𝙚𝙧: Normal Lojikler, Normal Olmayan Lojikler, Bağıntısal Lojikler, Topolojik, Komşuluk, Cebirsel Semantikler, Tamlık, Tanımlanabilirlik, Alt Semantik

Özet (Çeviri)

NON-NORMAL MODAL LOGICS AND SEMANTICS Polat, Süleyman PHD, Mathematics Advisor:Prof. Dr. Mehmet TERZILER In this thesis; The studies on normal and non-normal modal logic based on basic modal propositional language have been reviewed with detailed proofs. The relational, topological, neighborhood and algebraic semantics for these logics were compared in the last chatper of the thesis and the following results were obtained: • The relational semantics is a subsemantics of the neighborhood semantics. • The neighborhood semantics is a subsemantics of algebraic semantics. • Each algebraic (hence every neighborhood, every relational) frame is classical. We give an answer to the following question using the notions of prime filters and atomik Boolean algebras, respectively:“Are the normal neighborhood frames which are not (isomorphic to) relational frames and if available, how to characterize neighborhood frames which are (isomorphic to) relational frames”? Also, we present three semantics for Intuitionistic Propositional Logic (IPL); namely, Kripke semantics, Heyting semantics, and topological semantics. We show that IPL is sound and complete with respect to these semantics. 𝐊𝐞𝐲𝐰𝐨𝐫𝐝𝐬: Normal Logics, Non-normal Logics, Relational, Topological, Neighborhood, Algebraic Semantics, Completeness, Definability, Subsemantics.

Benzer Tezler

  1. Nonlinear system identification and nonlinear experimental modal analysis by using response controlled stepped sine testing

    Cevap kontrollü kademeli sinüs testi kullanarak doğrusal olmayan sistem tanılama ve doğrusal olmayan deneysel modal analiz

    TAYLAN KARAAĞAÇLI

    Doktora

    İngilizce

    İngilizce

    2020

    Makine MühendisliğiOrta Doğu Teknik Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    PROF. DR. HASAN NEVZAT ÖZGÜVEN

  2. Planda simetrik olmayan çok katlı yapıların zeminle dinamik etkileşimi

    Soil-structure interaction of torsionally coupled multistory buildings

    ERKAN ÇELEBİ

    Doktora

    Türkçe

    Türkçe

    2001

    İnşaat Mühendisliğiİstanbul Teknik Üniversitesi

    DOÇ. DR. A. NECMETTİN GÜNDÜZ

  3. Direct resonance response prediction of nonlinear structures: A case study on bladed disk assemblies

    Doğrusal olmayan yapıların doğrudan rezonans tepki tahmini: Kanatçıklı diskler üzerinde bir örnek incelemesi

    TAHSİN AHİ

    Yüksek Lisans

    İngilizce

    İngilizce

    2023

    Makine MühendisliğiOrta Doğu Teknik Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    PROF. DR. ENDER CİĞEROĞLU

  4. Spatiotemporal nonlinear dynamics in graded-index multimode fibers

    Kademeli-indeks çok modlu fiberlerde uzaysal-zamansal doğrusal olmayan dinamikler

    UĞUR TEĞİN

    Yüksek Lisans

    İngilizce

    İngilizce

    2018

    Fizik ve Fizik Mühendisliğiİhsan Doğramacı Bilkent Üniversitesi

    Malzeme Bilimi ve Nanoteknoloji Ana Bilim Dalı

    YRD. DOÇ. DR. BÜLEND ORTAÇ

  5. An adaptive modal pushover analysis procedure to evaluate the earthquake performance of high-rise buildings

    Yüksek binaların deprem performansının değerlendirilmesi için bir uyarlamalı itme analizi yöntemi

    MELİH SÜRMELİ

    Doktora

    İngilizce

    İngilizce

    2016

    Deprem Mühendisliğiİstanbul Teknik Üniversitesi

    İnşaat Mühendisliği Ana Bilim Dalı

    DOÇ. DR. ERCAN YÜKSEL