Abstract | ||
---|---|---|
The authors of Beziau and Franceschetto (New directions in paraconsistent logic, vol 152, Springer, New Delhi, 2015) work with logics that have the property of not satisfying any of the formulations of the principle of non contradiction, Béziau and Franceschetto also analyze, among the three-valued logics, which of these logics satisfy this property. They prove that there exist only four of such logics, but only two of them are worthwhile to study. The language of these logics does not consider implication as a connective. However, the enrichment of a language with an implication connective leads us to more interesting systems, therefore we look for one implication for these logics and we study further properties that the logics obtain when this connective is added to these systems. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1007/s11787-017-0182-3 | Logica Universalis |
Keywords | Field | DocType |
Genuine paraconsistent logic, implication, Gödel’s implication, non-classical logics, Primary 03B53, Secondary 03B50 | Principle of explosion,Discrete mathematics,T-norm fuzzy logics,Structural rule,Paraconsistent logic,Algorithm,Monoidal t-norm logic,Law of noncontradiction,Relevance logic,Mathematics | Journal |
Volume | Issue | ISSN |
11 | 4 | 1661-8297 |
Citations | PageRank | References |
2 | 0.40 | 2 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alejandro Hernández-Tello | 1 | 2 | 0.40 |
José R. Arrazola Ramírez | 2 | 84 | 6.85 |
Mauricio Osorio | 3 | 436 | 52.82 |