Deduction in Many-Valued Logics: a Survey (1997)
by
Reiner Hähnle
,
Gonzalo Escalada-imaz
| Venue: | Mathware & Soft Computing, iv(2):69--97 |
| Citations: | 7 - 1 self |
BibTeX
@INPROCEEDINGS{Hähnle97deductionin,
author = {Reiner Hähnle and Gonzalo Escalada-imaz},
title = {Deduction in Many-Valued Logics: a Survey},
booktitle = {Mathware & Soft Computing, iv(2):69--97},
year = {1997}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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
