Internet Ortaminda Mantik Arastirmalari Kaynaklari

Dil Bilimi Sitesi
Anasayfa	Site Sahibi Hakkında	Makale ve Denemelerimiz	Seçme Akademik Yazılar	Bibliyografya	Yazılımlar	Terim Sözlüğü	Bağlantılar

Genel Dil Bilimi
Dil Kuramcıları
Kuramlar
Ses Bilimi
Ses Bilgisi
Biçim Bilgisi
Söz Dizimi
Anlam Bilimi
Sözlük Bilimi
Köken Bilimi
Metin Dil Bilimi
Deyiş Bilimi
Tarihsel Dil Bilimi
Karşılaştırmalı Dil Bilimi
Çeviri Bilimi
Gösterge Bilimi
Dil Felsefesi
Edim Bilimi
Dil Öğretimi
Dil Bilimi Öğretimi
Dil Özürleri
Klinik Dil Bilimi
Ruh Dil Bilimi
Toplum Dil Bilimi
Adli Dil Bilimi
İnsan Dil Bilimi
Budun Dil Bilimi
Uzam Dil Bilimi
Bilişsel Dil Bilimi
Sinir Dil Bilimi
Dirim Dil Bilimi
Bilgisayarlı Dil Bilimi
Yapay Zekâ
Mantık
Ana Bağlantılar
Stanford Encyclopedia of Philosophy
Dictionary of Philosophical Terms and Names
Lewis Carroll (Logician and Mathematician)
Richard Zach's Works
Fuzzy Sets and Systems Links yeni
Fuzzy System Modelling Demo Application yeni
Semantics Archive
Google Logic Books
Google Fuzzy Logic Books
Internet Archive

İnternet Ortamında

MANTIK ARAŞTIRMALARI

Kaynakları

Son Güncelleme: 29 Ağustos 2008

Açıklama:

Dil incelemeleri, mantığın ve matematiğin birikimleri dikkate alınmaksızın eksik kalır düşüncesiyle, özellikle mantık alanında ortaya konulan akademik araştırma sonuçlarının kısa künyeleri ve bağlantı adresleri bu sayfada listelendi.

• YÖK Ulusal Tez Merkezi 1988-2007 yılları arası "Mantık Araştırmaları " tezleri listesi (Excel) (http://tez2.yok.gov.tr sitesinden)

MAKALELER

Mantık ve Dil Bilimi (Logic and Linguistics)

• Applications of Model Logic in Linguistics (Lawrence S. Moss-Hans-Jörg Tiede)

• Natural Logic for Natural Language (Jan van Eijck)

• Logic and Linguistics in the Twentieth Century (Alessandro Lenci-Gabriel Sandu)

• Quantification in Formal Logic and Natural Language (De Pietri)

• Teaching Logic to Linguists : The Logical Approach to Grammar (Francisco J. Selguero Lamillar)

• The Logic of Ordinary Language (Gilbert Harman)

Genel Makaleler

İngilizce

• A Semantic Decomposition of Defeasible Logics (M.J.Maher-G.Governatori)

• Algebraic Logic (H.Andreka-I.Nemeti-I.Sain)

• An Abstract Algebraic Logic View of Some Multiple-Valued Logics (Josep Maria Font)

• Categorical Abstract Algebraic Logic: Strong Version of A Protoalgebraic pi-Institution (George Voutsadakis)

• Completeness Before Post: Bernays, Hilbert and the Development of Propositional Logic (Richard Zach)

• First-Order Gödel Logics (Matthias Baaz-Norbert Preining-Richard Zach)

• Logic and Ontology (Nino B. Cocchiarella)

• Logic and Semantic Networks (Amaryllis Deliyanni-Robert A. Kowalski)

• Logic in the 14th Century After Ockham (Catarina Dutilh Novaes)

• Markov Logic Networks (Matthew Richardson-Pedro Domingos)

• On the Semantics of Classical First-Order Logic with Constructive Double Negation (Ken Kaneiwa)

• The Calculus of Logic (George Boole-1848)

• The Development of Categorical Logic (John L. Bell)

• Thoughts, Words and Things: An Introduction to Late Mediaeval Logic and Semantic Theory (Paul Vincent Spade)

Türkçe

• Bir Düşünce ve Mantık Problemi Olarak Paradoks (İsmail Latif Hacınebioğlu)

• Düşünce Tarihinde Mantık: Aristoteles Mantığından Bulanık Mantığa (Mehmet Vural)

• Ebi Salt Dani'nin Modalite Anlayışı (İbrahim Çapak)

• Farabî’de Dil ve Mantık İlişkisi (Sadık Türker)

• Gazâli'nin Mantık ve Dini Olmayan İlimlere Bakışı (Yazan: Michael e. Marmura, Çeviren: İbrahim Çapak)

• Gazâli'ye Göre Fasit Kıyas (Hüseyin Çaldak)

• Gazali'ye Göre Öncüllerin Yapısı (İbrahim Çapak)

• Kelamcıların Tanım Kuramları (Muhit Mert)

• Kıyas'ın Mantıkta ve İslâmî İlimlerde Kullanım Biçimi (Hüseyin Çaldak)

• İslam Dünyasındaki İlk Mantık Çalışmalarına Genel Bir Bakış (İbrahim Çapak)

• İslam Mantık Külliyatının Teşekkülü (İsmail Köz)

• Mantık Felsefesi (Teo Grunberg)

• Mantıkta Kullanılan Lafızlar (Sadık Türker)

• Osmanlı Dünyası'nda Mantık Bilimi ve Eğitimi (Abdulkuddüs Bingöl)

• Sâvî ve el-Besâir Adlı Mantık Eseri Üzerine Bir İnceleme (Ahmet Kayacık)

• Türk Mantıkçıları (Yazan: M.Ali Ayni, Sadeleştiren: Naim Şahin)

Stanford Encyclopedia of Philosophy-Logic

• Ancient Logic (Susanne Bobzien)

• Classical Logic (Stewart Shapiro)

• Combining Logics (Walter Carnielli-Marcelo Esteban Coniglio)

• Connexive Logic (Heinrich Wansing)

• Deontic Logic (Paul McNamara)

• Epistemic Logic (Vincent Hendricks-John Symons)

• Fuzzy Logic (Peter Hajek)

• Hybrid Logic (Torben Braüner)

• Inductive Logic (James Hawthorne)

• Infinitary Logic (John L. Bell)

• Informal Logic (Leo Groarke)

• Intensional Logic (Melvin Fitting)

• Intuitionistic Logic (Joan Moschovakis)

• Linear Logic (Roberto Di Cosmo-Dale Miller)

• Logical Consequence (JC Beall-Greg Restall)

• Logical Constants (John MacFarlane)

• Logical Constructions (Bernard Linsky)

• Logical Form (Paul Pietroski)

• Logical Truth (Mario Gomez-Torrente)

• Logic and Ontology (Thomas Hofweber)

• Many-Valued Logic (Siegrfied Gottwald)

• Modal Logic (James Garson)

• Non-Monotonic Logic (G.Aldo Antonelli)

• Paraconsistent Logic (Graham Priest-Koji Tanaka)

• Propositional Dynamic Logic (Philippe Balbiani)

• Provability Logic (Rineke Verbrugge)

• Relevance (Edwin Mares)

• Second-Order and Higher-Order (Herbert B. Enderton)

• Substructural (Greg Restall)

• Temporal (Antony Galton)

• The Early Development of Set Theory (José Feroiros)

• Logic and Artificial Intelligence (Richmond Thomason)

• Logic and Games (Wilfrid Hodges)

• Logic of Belief Revision (Sven Ove Hansson)

• Logic of Conditionals (Horacio Arlo-Costa)

Bulanık Mantık / Fuzzy Logic

İngilizce

• Development of Fuzzy Logic and Neural Network Control and Advanced Emissions Modeling for Parallel Hybrid Vehicles (A.Rajagopalan-G.Washington-G.Rizzoni-Y.Guezennec)

• Fuzzy Logic, Fuzzy Thinking and the Teaching/Learning of Mathematics in Multicultural Situtations (Filippo Spagnolo)

• Fuzzy Logic Introduction (Martin Hellman)

• Fuzzy Logic Knowledge Bases in Integrated Landscape Assessment: Examples and Possibilities (Keith M. Reynolds)

• Fuzzy Logic, Neural Networks and Soft Computing (Lütfi A. Zadeh) yeni

• Fuzzy Logic Systems for Engineering: A Tutorial (Jerry M. Mendel)

• Fuzzy Logic Toolbox for Use with MATLAB (Lütfi Zadeh'in önsözüyle)

• Image Classification Based on Fuzzy Logic (I. Nedeljkovic)

• Probability Theory and Fuzzy Logic (Lütfi A. Zadeh)

• Tutorial on Fuzzy Logic (Jan Jantzen)

Türkçe

• Antalya'da Faaliyet Gösteren İnşaat Firmalarına Yönelik Ekonomik Durum Analizi: Bulanık Mantık Yaklaşımı (Rıfat Tür-Aynur Kazaz-Ahmet Yardımcı)

• Bir Karar Destek Aracı Bulanık Hedef Programlama ve Yerel Yönetimlerde Vergi Optimizasyonu Uygulaması (Mustafa Güneş-Nurullah Umarusman)

• Bulanık Doğrusal Sistemler ve Regresyon Modellerine Uygulanması (Mustafa Güneş)

• Bulanık Küme Teorisinin Yeraltı Üretim Yönetimi Seçiminde Kullanılabilirliği (A.Karadoğan-A.Başçetin-A.Kahriman-S.Görgün)

• Bulanık Mantık (Tansu Küçüköncü) html

• Bulanık Mantık: Bulanıklık Kavramı (İsmail H. Altaş) yeni

• Bulanık Mantığın Jeodezik Problemlerin Çözümünde Kullanılması (M.Yılmaz-E.Arslan)

• Bulanık Mantık: Özellikleri ve Süreksizlik Denetimli Bir Şey Duraysızlığına Uygulanması (Candan Gökçeoğlu-Harun Sönmez-Murat Ercanoğlu)

• Bulanık Mantık Metodu ile Tekil Yükler Altında İki Açıklıklı Kirişlerin Göçme Yük Faktörü Değerinin Bulunması (Harun Tanyıldızı-Salih Yazıcıoğlu)

• Bulanık Mantık Sistemine Dayalı Uyarlanır Ağ Eklenmiş Tabu Araştırma İzleyicisi ile Hedef İzleme (İlke Türkmen-Kerim Güney-Derviş Karaboğa)

• Bulanık Mantık Tabanlı Zaman Serisi Veri Madenciliği Kullanan Tahmin Algoritması (İlhan Aydın-Mehmet Karaköse-Erhan Akın)

• Bulanık Mantık ve Lojistik Regresyon Yöntemleri ile Ulaşım Ağlarında Geçki Seçim Davranışının Modellemesi (Y.Şazi Murat-Nurcan Uludağ) yeni

• Bulanık Mantık ve Uçuş Kontrol Problemine Uygulanması (Emre Kıyak-Ayşe Kahvecioğlu)

• Bulanık Mantık Yöntemi Kullanılarak GSM BTS İstasyonları İçin Sağlık Zararlarının Değerlendirimesi (Selçuk Çömlekçi-Süleyman Bilgin-Özlem Ulukut)

• Bulanık Mantık Yöntemiyle Gezgin Robot Navigasyonu (Osman Parlaktuna-Barış Bakla-Metin Özkan-Ahmet Yazıcı)

• Bulanık Mantıklı Kayan Kipli Kontrol Tasarımı ve Robot Yörünge Takibinde Uygulanması (Yüksel Hacıoğlu) yeni

• Dinamik Sistemlerde Bulanık Mantık Metodu ve Örnek Olarak Hisse Senedi Piyasasının Modellenmesi (Hakan Aksoy)

• Doğrusal Bir Hidrolik Hareketlendirici Sistemin Bulanık Mantık Yaklaşımıyla Konum Kontrolü (Ali Volkan Akkaya-Saban Çetin)

• Gerilim Çökmelerinin Enerji Kalitesine Etkisinin Bulanık Mantık Yardımıyla İncelenmesi (Fuat Küçük-Ömer Gül) yeni

• Günlük En Büyük Sıcaklıkların Bulanık Kümeler ile Kestirimi (Hasan Tatlı-Zekai Şen)

• Hava Gücü Mukayesesi İçin Bulanık AHP Modeli (Hakan Çanlı-Ahmet Kandakoğlu)

• İki Bacaklı Yürüyen Robotlarda Bulanık Mantıklı Yürüyüş Biçimi Uyarlaması (Özkan Bebek-Kemalettin Erbatur-Okan Kurt)

• Kaliteli İş Paylaşımı Problemi İçin Bulanık Mantık Yaklaşımı (Efendi N. Nasibov-A.Övgü Kınay)

• Kavşak Trafik Sinyalizasyon Sistemi İçin Bulanık Mantık Tabanlı Gerçek Zamanlı Denetleyici Tasarımı ve Uygulaması (O. Ayhan Erdem)

• Mühendislik Sistemlerinin Bulanık Çok Amaçlı Eniyilemesi (Ö.Keleşoğlu)

• Portföy Analizinde Bulanık Mantık Yaklaşımı (İrfan Ertuğrul-Dilek Pelitli) makele özeti

• Sandviç Eş Düzlemli Dalga Kılavuzlarının Analizleri İçin Bulanık Mantık Sistemine Dayalı Uyarlanır Ağ Modelleri (Mustafa Türkmen-Sabri Kaya-Kerim Güney) yeni

• Sinyalize Kavşaklardaki Taşıt Gecikmelerinin Bulanık Mantık ile Modellenmesi (Y.Şazi Murat)

• Süreç Gürültüsü Bulanık Mantıkla Belirlenen Olasılıksal Veri İlişkilendirme Süzgeci ile Hedefi İzleme (İlke Türkmen-Kerim Güney)

• Taşımacılık Sektörünün İşleyiş Süreci, Bulanık Dağıtım Probleminin Tamsayılı Doğrusal Programlama Model Denemesi (Ahmet Ergülem-Halim Kazan)

• Tedarik Zinciri Yönetiminde Bulanık AHP Yönetimi Kullanılarak Tedarikçilerin Performansının Ölçülmesi: Otomotiv Yan Sanayiinde Bir Uygulama (Gülşen Akman-Atakan Alkan)

• Türk Vergi Sisteminde Bulanık Mantık Uygulamaları (Mustafa Güneş-Osman Nuri Yiğitbaşı) html

• Yapay Sinir Ağları ve Birleştirilmiş Sinirsel Bulanık Sistemler ile Şehirlerarası Yük Taşıması Tür Seçiminin Modellenmesi (Ahmet Tortum-Nadir Yayla-Mahir Gökdağ)
  

KİTAPLAR

• Artificial Intelligence, Logic and Formalizing Common Sense (John McCarthy)

• Hegel's Logic (An Essay in Interpretation) (John Grier Hibben)

• Introduction to Neutrosophic Logic (Charles Ashbacher)

• Logic Self-Taught: A Workbook (Katarzyna Paprzycka)

• Probability Theory: The Logic of Science (E.T.Jaynes)

• Symbolic Logic (Lewis Carroll)

• The Development of Mathematical Logic from Russell to Tarski: 1900-1935 (Paolo Mancosu-Richard Zach-Calixto Badesa)

• The Origin and Significance of Hegel's Logic: A General Introduction to Hegel's System (J.B.Baillie)

DERS NOTLARI

• Modern Symbolic Logic (Ian Martel)

• The Linear Logic Primer (Roberto Di Cosmo)

• Fuzzy Control (Erich Peter Klement)

• Fuzzy Intro (Slides Chapter 1), Fuzzy Logic (Slides Chapter 2) , Fuzzy Control (Slides Chapter 3), FuzPID (Slides Chapter 4), FuzNonlin (Slides Chapter 5), FuzSoc (Slides Chapter 6) (ppt.)

Bu sayfa Dr.Mustafa Altun tarafından hazırlanmıştır. © 2008