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 条

[1] Strong Paraconsistency and Exclusion Negation
Berto, Francesco
LOGICA YEARBOOK 2008, 2009, : 15 - 25
[2] Negation-Free Definitions of Paraconsistency
Basu, Sankha S.
Roy, Sayantan
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (358): : 150 - 159
[3] Notes on Constructive Negation
Grigori Mints
Synthese, 2006, 148 : 701 - 717
[4] Constructive intensional negation
Muñoz-Hernández, S
Mariño, J
Moreno-Navarro, JJ
FUNCTIONAL AND LOGIC PROGRAMMING, 2004, 2998 : 39 - 54
[5] Constructive negation by pruning
Fages, F
JOURNAL OF LOGIC PROGRAMMING, 1997, 32 (02): : 85 - 118
[6] Notes on constructive negation
Mints, G
SYNTHESE, 2006, 148 (03) : 701 - 717
[7] PARACONSISTENCY AND CONSISTENCY UNDERSTOOD AS THE ABSENCE OF THE NEGATION OF ANY IMPLICATIVE THEOREM
Robles, Gemma
REPORTS ON MATHEMATICAL LOGIC, 2012, 47 : 147 - 171
[8] Implementing Constructive Intensional Negation
Marino, Julio
Jose Moreno-Navarro, Juan
Munoz-Hernandez, Susana
NEW GENERATION COMPUTING, 2008, 27 (01) : 25 - 56
[9] A real implementation for constructive negation
Muñoz, S
Moreno-Navarro, JJ
LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 496 - 497
[10] Even dialetheists should hate contradictions (Negation, denial, paraconsistency)
Mares, ED
AUSTRALASIAN JOURNAL OF PHILOSOPHY, 2000, 78 (04) : 503 - 516