Abstract | ||
---|---|---|
We show that logic C1 cannot be extended to a paraconsistent logic in which the substitution theorem is valid. We show that C1 can be extended to larger paraconsistent logics by adding some desirable properties as axioms. We use three-valued logics to support our claims. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1016/j.entcs.2015.06.005 | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
multi-valued logics,substitution theorem,logic C1,paraconsistent logic | Principle of explosion,Discrete mathematics,T-norm fuzzy logics,Disjunction introduction,Paraconsistent logic,Monoidal t-norm logic,Classical logic,Non-monotonic logic,Relevance logic,Mathematics | Journal |
Volume | Issue | ISSN |
315 | C | 1571-0661 |
Citations | PageRank | References |
0 | 0.34 | 6 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mauricio Osorio | 1 | 436 | 52.82 |
José Luis Carballido | 2 | 53 | 12.62 |
Claudia Zepeda | 3 | 93 | 21.57 |