Proof Procedures for Multiple-Valued Propositional Logics

Author: Felip Manyà
University:
Advisor: Gonzalo E. Imaz
Year: 1996
Abstract: