کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662915 1633616 2016 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Revisiting da Costa logic
ترجمه فارسی عنوان
بازنگری منطق دا کوستا
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

In [25] Priest developed the da Costa logic (daC); this is a paraconsistent logic which is also a co-intuitionistic logic that contains the logic CωCω. Due to its interesting properties it has been studied by Castiglioni, Ertola and Ferguson, and some remarkable results about it and its extensions are shown in [8] and [11]. In the present article we continue the study of daC, we prove that a restricted Hilbert system for daC, named DC, satisfies certain properties that help us show that this logic is not a maximal paraconsistent system. We also study an extension of daC called PH1PH1 and we give different characterizations of it. Finally we compare daC and PH1PH1 with several paraconsistent logics.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 16, July 2016, Pages 111–127
نویسندگان
, , ,