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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1016/j.jal.2004.07.018 | Journal of Applied Logic |
Keywords | Field | DocType |
Criteria for final derivability,Adaptive logics,Non-monotonic reasoning,Paraconsistency | T-norm fuzzy logics,Discrete mathematics,Paraconsistent logic,Algorithm,Proof procedure,Predicative expression,Mathematics | Journal |
Volume | Issue | ISSN |
3 | 1 | 1570-8683 |
Citations | PageRank | References |
10 | 1.70 | 9 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Diderik Batens | 1 | 148 | 20.23 |