Ideal Paraconsistent Logics |
| |
Authors: | O Arieli A Avron A Zamansky |
| |
Institution: | 1. School of Computer Science, The Academic College of Tel-Aviv, Tel-Aviv, Israel 2. School of Computer Science, Tel-Aviv University, Tel-Aviv, Israel 3. Institute for Discrete Mathematics and Geometry, Vienna Technical University, Vienna, Austria
|
| |
Abstract: | We define in precise terms the basic properties that an ??ideal propositional paraconsistent logic?? is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n > 2 there exists an extensive family of ideal n-valued logics, each one of which is not equivalent to any k-valued logic with k < n. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|