Revistes Catalanes amb Accés Obert (RACO)
Articles
| Deduction in many-valued logics: a survey | Text complet |
| Reiner Hähnle, Gonzalo Escalada-Imaz |
| A reduction-based theorem prover for 3-valued logic | Text complet |
| Gabriel Aguilera Venegas, Inmaculada Pérez de Guzmán Molina, Manuel Ojeda Aciego |
| Computing multiple-valued logic programs | Text complet |
| James J. Lu, Jacques Calmet, Joachim Schü |
| Parameterized prime implicant/implicate computations for regular logics | Text complet |
| Anavi Ramesh, Neil V. Murray |
| Editorial [Special issue: Deduction in MVL] | Text complet |
| Gonzalo Escalada-Imaz, Reiner Hähnle |