Paraconsistent Logic: Consistency, Contradiction and Negation

被引：0

作者：

Rodrigues, Abilio ^{[1
]}

机构：

[1] Univ Fed Minas Gerais, Dept Philosophy, Belo Horizonte, MG, Brazil

来源：

HISTORY AND PHILOSOPHY OF LOGIC | 2021年 / 42卷 / 03期

关键词：

D O I：

10.1080/01445340.2021.1895592

中图分类号：

B82 [伦理学（道德学）];

学科分类号：

摘要：

引用

页码：300 / 306

页数：7

共 50 条

[31] An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi
Norihiro Kamide
[J]. Logica Universalis, 2022, 16 : 389 - 417
[32] Identity, consistency, contradiction
Camera, F
[J]. RIVISTA DI FILOSOFIA NEO-SCOLASTICA, 1997, 89 (04) : 683 - 687
[33] THE CONSISTENCY OF NEGATION AS FAILURE
FLANNAGAN, T
[J]. JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (02): : 93 - 114
[34] An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi
Kamide, Norihiro
[J]. LOGICA UNIVERSALIS, 2022, 16 (03) : 389 - 417
[35] THE LOGIC OF CONTRADICTION
GOODMAN, ND
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (02): : 119 - 126
[36] Paraconsistent logic vs. Meinongian logic
Pasniczek, J
[J]. PARACONSISTENCY: THE LOGICAL WAY TO THE INCONSISTENT, 2002, 228 : 523 - 534
[37] ON CONSISTENCY AND DECIDABILITY IN SOME PARACONSISTENT ARITHMETICS
Tedder, Andrew
[J]. AUSTRALASIAN JOURNAL OF LOGIC, 2021, 18 (05) : 473 - 502
[38] Paraconsistent ideas in quantum logic
Dalla Chiara, ML
Giuntini, R
[J]. SYNTHESE, 2000, 125 (1-2) : 55 - 68
[39] Laws of Form and Paraconsistent Logic
Van Bendegem, Jean Paul
[J]. CONSTRUCTIVIST FOUNDATIONS, 2017, 13 (01): : 21 - 22
[40] A paraconsistent higher order logic
Villadsen, J
[J]. ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2004, 3249 : 38 - 51

← 1 2 3 4 5 →