Tidak, hanya saja lebih sulit.
Sama seperti masalah keputusan untuk logika proposisional intuitionistic lebih sulit daripada logika proposisional klasik, demikian juga logika proposisional linier masih lebih sulit. Baik dengan eksponensial (yang tidak kekurangan kontraksi) atau berbagai macam penghubung nonkomutatif, logikanya menjadi tidak dapat dipastikan dan bahkan MALL klasik yang lemah adalah PSPACE yang lengkap. Sebaliknya, masalah keputusan untuk logika proposisional klasik adalah co-NP lengkap, dan untuk logika proposisional intuitionistic, PSPACE selesai. (Begitu saja, saya tidak tahu kompleksitas MALL intuitionistic.)
Saya merekomendasikan pemaparan Pat Lincoln di bagian 6 dari logika Linear- nya , SIGACT News 1992. Kami telah belajar sedikit lebih banyak sejak itu, yaitu, kami memiliki hasil untuk keluarga besar logika linier, tetapi gambaran dasarnya ada di sana.
Dengan cara tertentu, inilah yang membuat pencarian bukti untuk logika linier menarik, karena kekerasan masalah keputusan membuat ruang untuk gagasan komputasi yang lebih menarik, dan logika linier sulit dalam banyak cara yang berbeda. Andrej menunjuk ke Tinjauan Dale Miller tentang Pemrograman Logika Linier ; ini adalah tempat yang baik untuk dilihat karena Miller telah melakukan lebih banyak untuk mengembangkan gagasan pencarian bukti sebagai perhitungan seperti orang lain.