Articles

Deduction in many-valued logics: a survey

Reiner Hähnle, Gonzalo Escalada-Imaz
HTML

A reduction-based theorem prover for 3-valued logic

Gabriel Aguilera Venegas, Inmaculada Pérez de Guzmán Molina, Manuel Ojeda Aciego
HTML

Computing multiple-valued logic programs

James J. Lu, Jacques Calmet, Joachim Schü
HTML

Parameterized prime implicant/implicate computations for regular logics

Anavi Ramesh, Neil V. Murray
HTML

Editorial [Special issue: Deduction in MVL]

Gonzalo Escalada-Imaz, Reiner Hähnle
HTML