Abstract | ||
---|---|---|
It was shown in [6] that the at Rescher{Manor consequence relations|the Free, Strong, Argued, C-Based, and Weak consequence relation|areall characterized by special applications of inconsistency-adaptive logicsdened from the paraconsistent logic CLuN. As as result, these consequencerelations are provided with a dynamic proof theory. In the presentpaper we show that the detour via an inconsistency-adaptive logic is notnecessary. We present a direct dynamic proof theory, formulated... |
Year | DOI | Venue |
---|---|---|
2002 | 10.3166/jancl.12.63-84 | Journal of Applied Non-Classical Logics |
Keywords | Field | DocType |
paraconsistent logic,classical logic,proof theory | Discrete mathematics,Paraconsistent logic,Structural proof theory,Proof calculus,Algorithm,Proof theory,Bunched logic,Philosophy of logic,Mathematics,Intermediate logic,Higher-order logic | Journal |
Volume | Issue | Citations |
12 | 1 | 5 |
PageRank | References | Authors |
0.96 | 3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Diderik Batens | 1 | 148 | 20.23 |
Timothy Vermeir | 2 | 5 | 0.96 |