Deduction in many-valued logics: a survey
Reiner Hähnle, Gonzalo Escalada Imaz · RACO (Revistes Catalanes amb Accés Obert) (Consorci de Serveis Universitaris de Catalunya) · 1997
this article, there is considerable activity in MVL deduction which is why we felt justified in writing this survey. Needless to say, we cannot give a general introduction to MVL in the present context. For this, we have to refer to general treatments such as [153, 53, 93]. 2 A classification of many-valued logics according to their intended application