Abstract | ||
---|---|---|
We present a tableau method for inconsistency-adaptive logics and illustrate it in terms of the two best studied systems.
The method is new in that adaptive logics require a more complex structure of the tableaus and of some rules and conditions.
As there is no positive test for derivability in inconsistency-adaptive logics, the tableau method is important for providing
criteria for derivability.
|
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/10722086_13 | TABLEAUX |
Keywords | Field | DocType |
tableau method,inconsistency-adaptive logics,complex structure | T-norm fuzzy logics,Discrete mathematics,Paraconsistent logic,Computer science,Algorithm,Algorithmic logic,Classical logic,Parsing,Soundness | Conference |
Volume | ISSN | ISBN |
1847 | 0302-9743 | 3-540-67697-X |
Citations | PageRank | References |
14 | 2.79 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Diderik Batens | 1 | 148 | 20.23 |
Joke Meheus | 2 | 80 | 11.00 |