Natural 3-valued Logics--- Characterization and Proof Theory
| Author(s) : | Arnon Avron, |
| Publisher : | N/A |
| Publication Date : | 1991 |
| ISSN : | N/A |
| Abstract : | Many-valued logics in general and 3-valued logic in particular is an old subject which had its beginning in the work of Lukasiewicz [Luk]. Recently there is a revived interest in this topic, both for its own sake (see, e.g. [Ho]), and also, |