Constructive Negation and Paraconsistency

被引：0

作者：

Beziau, Jean-Yves ^{[1
,2
]}

机构：

[1] Univ Fed Rio de Janeiro, Dept Philosophy, Rio De Janeiro, Brazil

[2] Brazilian Res Council CNPq, Rio De Janeiro, Brazil

来源：

关键词：

D O I：

10.1007/s11225-012-9409-8

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：653 / 657

页数：5

共 50 条

[41] Constructive Negation in Extensional Higher-Order Logic Programming
Charalambidis, Angelos
Rondogiannis, Panos
FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 12 - 21
[42] Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics
Ferguson, Thomas Macaulay
2014 IEEE 44TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2014), 2014, : 121 - 127
[43] Constructive logic with strong negation is a substructural logic. II
Spinks M.
Veroff R.
Studia Logica, 2008, 89 (3) : 401 - 425
[44] Kripke completeness of first-order constructive logics with strong negation
Hasuo, Ichiro
Kashima, Ryo
LOGIC JOURNAL OF THE IGPL, 2003, 11 (06) : 615 - 646
[45] Conjunctive paraconsistency
Franca d’Agostini
Synthese, 2021, 199 : 6845 - 6874
[46] Conjunctive paraconsistency
d'Agostini, Franca
SYNTHESE, 2021, 199 (3-4) : 6845 - 6874
[47] The Dialogical Approach to Paraconsistency
Sahid Rahman
Walter A Carnielli
Synthese, 2000, 125 : 201 - 232
[48] Metainferential Paraconsistency
Da Re, Bruno
Rubin, Mariela
Teijeiro, Paula
LOGIC AND LOGICAL PHILOSOPHY, 2022, 31 (02) : 235 - 260
[49] PARACONSISTENCY ON THE ROCKS OF DIALETHEISM
Asmus, Conrad
LOGIQUE ET ANALYSE, 2012, (217) : 3 - 21
[50] The dialogical approach to paraconsistency
Rahman, S
Carnielli, WA
SYNTHESE, 2000, 125 (1-2) : 201 - 231