Komputasi Simbolik dengan REDUCE untuk Menentukan Validasi Silogisme dan Aplikasinya dalam Fisika

Silogisme adalah sebuah bentuk argumentasi dalam logika. Penelitian ini bertujuan untuk menghasilkan program komputer dalam komputasi simbolik untuk menentukan validasi silogisme dan kemudian diaplikasikan dalam Fisika. Bahasa yang dipilih adalah REDUCE berdasarkan berbagai pertimbangan, salah satu di antaranya adalah karena REDUCE adalah bahasa yang open source. Pertimbangan lain adalah bahwa REDUCE sejak awalnya memang diciptakan untuk digunakan dalam fisika sehingga gaya bahasanya dirasakan lebih cocok untuk para fisikawan.