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

来源：

STUDIA LOGICA | 2012年 / 100卷 / 03期

关键词：

D O I：

10.1007/s11225-012-9409-8

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：653 / 657

页数：5

共 50 条

[21] Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
Luis Castiglioni, Jose
Ertola Biraben, Rodolfo C.
LOGIC JOURNAL OF THE IGPL, 2014, 22 (02) : 268 - 273
[22] Stratified Constructive Disjunction and Negation in Constraint Programming
Gotlieb, Arnaud
Marijan, Dusica
Spieker, Helge
2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2018, : 106 - 113
[23] NEGATION IN LOGIC PROGRAMMING - A FORMALIZATION IN CONSTRUCTIVE LOGIC
BRY, F
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 474 : 30 - 46
[24] Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency
Robles G.
Méndez J.M.
Journal of Logic, Language and Information, 2009, 18 (3) : 357 - 402
[25] Constructive negation and constraint logic programming with sets
Dovier, A
Pontelli, E
Rossi, G
NEW GENERATION COMPUTING, 2001, 19 (03) : 209 - 255
[26] The basic constructive logic for negation-consistency
Robles G.
Journal of Logic, Language and Information, 2008, 17 (2) : 161 - 181
[27] AN EXTENSION OF CONSTRUCTIVE NEGATION AND ITS APPLICATION IN COROUTINING
CHAN, D
LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 477 - 493
[28] Constructive Logic with Strong Negation as a Substructural Logic
Busaniche, Manuela
Cignoli, Roberto
JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (04) : 761 - 793
[29] Constructive negation and constraint logic programming with sets
Agostino Dovier
Enrico Pontelli
Gianfranco Rossi
New Generation Computing, 2001, 19 : 209 - 255
[30] Implementing Type-Based Constructive Negation
Lu, Lunjin
APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1299 - 1306

← 1 2 3 4 5 →