A procedural criterion for final derivability in inconsistency-adaptive logics |
| |
Authors: | Diderik Batens |
| |
Institution: | aCentre for Logic and Philosophy of Science, Universiteit Gent, Belgium |
| |
Abstract: | This paper concerns a (prospective) goal directed proof procedure for the propositional fragment of the inconsistency-adaptive logic ACLuN1. At the propositional level, the procedure forms an algorithm for final derivability. If extended to the predicative level, it provides a criterion for final derivability. This is essential in view of the absence of a positive test. The procedure may be generalized to all flat adaptive logics. |
| |
Keywords: | Criteria for final derivability Adaptive logics Non-monotonic reasoning Paraconsistency |
本文献已被 ScienceDirect 等数据库收录! |