Anggota : Login |Pendaftaran |Upload pengetahuan
Cari
Logika linier [Modifikasi ]
Logika linier adalah logika substruktur yang diusulkan oleh Jean-Yves Girard sebagai penyempurnaan logika klasik dan intuisionistik, bergabung dengan dualitas dari yang pertama dengan banyak sifat konstruktif dari yang terakhir. Meskipun logika juga telah dipelajari untuk kepentingannya sendiri, lebih luas, ide-ide dari logika linier telah berpengaruh dalam bidang-bidang seperti bahasa pemrograman, semantik permainan, dan fisika kuantum (karena logika linear dapat dilihat sebagai logika teori informasi kuantum) , serta linguistik, terutama karena penekanannya pada terbatasnya sumber daya, dualitas, dan interaksi.
Logika linier cocok untuk berbagai presentasi, penjelasan, dan intuisi. Bukti-teoritis, itu berasal dari analisis kalkulus berurutan klasik di mana penggunaan (aturan struktural) kontraksi dan pelemahan dikontrol secara hati-hati. Secara operasional, ini berarti bahwa deduksi logis tidak lagi hanya tentang koleksi terus-menerus dari "kebenaran" yang terus-menerus, tetapi juga cara memanipulasi sumber daya yang tidak bisa selalu diduplikasi atau dibuang begitu saja. Dalam hal model denotasi sederhana, logika linier dapat dilihat sebagai penyempurnaan interpretasi logika intuitionistic dengan mengganti kartesian kategori tertutup oleh kategori monoidal simetris, atau interpretasi logika klasik dengan mengganti aljabar boolean oleh C * -algebras.
[Logika intuisionistik][Ilmu bahasa]
1.Connectives, dualitas, dan polaritas
1.1.Sintaksis
2.Presentasi kalkulus berurutan
2.1.Perkalian
2.2.Aditif
2.3.Eksponensial
3.Rumus yang luar biasa
4.Pengkodean logika klasik / intuitionistik dalam logika linear
5.Interpretasi sumber daya
6.Sistem bukti lainnya
6.1.Jaring bukti
7.Semantik
7.1.Semantik aljabar
8.Decidability / complexity of entailment
9.Varian logika linear
[Upload Lebih Isi ]


Hak cipta @2018 Lxjkh