Professor Arieli’s research will complete the work of surveying, unifying, and further developing the theory of effective propositional paraconsistent

logics. It will cover all the main approaches to reasoning with inconsistent data: truth

functionality, non-determinism, constructively, fuzziness, and relevance. Particular emphasis will be put on providing proof systems that can serve as the basis of associated automated deduction systems, as well as concrete semantics that can be used for decision problems to different logics. Properties such as maximality and minimality will

also be further investigated. Funded by Israeli Science Foundation.