Operatörlü kafesli modal lojik için dualite
Yükleniyor...
Dosyalar
Tarih
2006
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Ege Üniversitesi
Erişim Hakkı
info:eu-repo/semantics/openAccess
Özet
Bu tez temel olarak, kafesler üzerindeki dualite ile ilgilidir. Amaç; lojikteki bazı problemleri funktorlar ile cebire aktarmak ve çözümleri için cebirsel i lemler kullanmaktır. Bunun için kafeslerin idealleri ve süzgeçleri tanımlanmı ve bunlarla ilgili bazı teoremler ispatlanmı tır. Özellikle Stone Gösterilim Teoremi ve Priestley Dualitesi bu tezi anlamayı kolayla tıracaktır.
Açıklama
Anahtar Kelimeler
Kafes, ideal, süzgeç, Boole Cebiri, dualite, kategori, funktor., Lattice, ideal, filter, Boolean Algebra, duality, category, functor., Matematik A.B.D.
