Deduction in many-valued logics: a survey
Reiner Hähnle, Gonzalo Escalada Imaz
págs. 69-97
A reduction-based theorem prover for 3-valued logic
Gabriel Aguilera Venegas, Inmaculada Pérez de Guzmán Molina, Manuel Ojeda Aciego
págs. 99-127
Computing multiple-valued logic programs
James J. Lu, Jacques Calmet, Joachim Schü
págs. 129-153
Parametrized prime implicant/implicate computations for regular logics
Anavai Ramesh, Neil V. Murray
págs. 155-179
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: