Linear Logic diinterpretasikan menggunakan spasi yang koheren , dan fitur-fitur tersebut menonjol dalam makalah Girard. Saya tahu semua tiga cara utama untuk mendefinisikan mereka secara formal, dan mereka tidak benar-benar menimbulkan masalah untuk digunakan dan membuktikan hal-hal tentang, tetapi saya tidak bisa mengerti apa artinya .
Rasanya benar-benar ada semacam cara untuk memahaminya . Pertama-tama, ada beberapa contoh tentang mereka yang menggunakan fungsi pada boolean (seperti di wiki di suatu tempat ). Dan itu mengisyaratkan sesuatu yang menarik dan bermakna di balik definisi formal. Namun, bool
adalah ruang koheren yang sangat sederhana, tanpa klik ukuran > 1
. Bisakah seseorang menjelaskan?
Hal lain yang Girard katakan di suatu tempat bahwa setiap titik ruang yang koheren mewakili "urutan pertanyaan / jawaban" yang spesifik, dengan dua poin menjadi koheren jika mereka "membagi dua secara negatif (yaitu, pada pertanyaan yang berbeda)", dan tidak koheren jika mereka membagi dua jawaban yang berbeda [1]. Sepertinya ide yang mudah dipahami tetapi saya tidak bisa menciptakan contoh sehingga itu berarti saya tidak benar-benar mengerti ...
Bisakah seseorang tolong saya dengan itu?
[1] JY Girard, Hantu transparansi . URL: http://iml.univ-mrs.fr/~girard/longo1.pdf