6
Bagaimana saya harus berpikir tentang jaring bukti?
Dalam jawabannya untuk pertanyaan ini , Stephane Gimenez menunjuk saya ke algoritma normalisasi waktu polinomial untuk bukti dalam logika linier. Buktinya dalam makalah Girard menggunakan jaring bukti, yang merupakan aspek dari logika linier yang sebenarnya saya tidak tahu banyak tentang itu. Sekarang, saya sudah mencoba membaca makalah tentang jaring bukti …